Data.GWrapped

data GWrapped m p a

data Singleton i

liftG