Control.Supermonad.Constrained.Functor

class CFunctor f