Control.Categorical.Functor

class Functor f r t

class Endofunctor f a

data LiftedFunctor f a

data LoweredFunctor f a