Control.Super.Monad.Constrained.Functor

class Functor f