class ProfunctorFunctor t

class ProfunctorMonad t

class ProfunctorComonad t