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