Data.Comp.Param.Multi.HDifunctor

class HDifunctor f

class HFunctor h

data I a

data K a i

data E f

data A f

type f :-> g

type NatM m f g