Control.Categorical.Functor
class Functor f r t
class Endofunctor f a
data LiftedFunctor f a
data LoweredFunctor f a