Control.Categorical.Functor
class Functor f r t
class EndoFunctor f (~>)
data LiftedFunctor f a
data LoweredFunctor f a