Data.Comp.Multi.HFunctor
class HFunctor h
type f :-> g
type f :=> a
type NatM m f g
data I a
data K a i
data A f
data E f
runE
data (f :.: g) e t