Data.MFunctor
data Variance
type family Domains fs vs
type family Codomains fs vs
class MFunctor f fs vs
mmap