Data.Type.Monomorphic

data Monomorphic k

class Monomorphicable k

demote'

demoteComposed

monomorphicCompose

withPolymorhic

liftPoly

viaPoly

data (f :.: g) a