Homomorphisms of promonads are functor squares

Tags: promonad