Data.MFunctor
data Variance
type family Domains fs vs
type family Codomains fs vs
type family Flip f
class MFunctor f fs vs
class GMFunctor f fs vs
class GFMFunctor f fs vs
class GFPMFunctor n fs vs
type family ExpandFieldFunction f vfs ps vs :: [*]
class AdaptFieldFunction f vfs ps vs
type family FlipVariance vs