Control.Functor.Exponential
class ExpFunctor f