Haskell typefun (интересно я уже всех тут достал) есть:

data M = A | B

getSingletons [''M]

data S :: (M -> *) where

есть Ptr (S a), могу ли я по Ptr (S a) выдернуть синглетон?

—
пока писал понял как сделать это с проксёй