homomorphism of strong promonads

• Strong promonad