extension system for monads Tags: Monad, bicategory, promonad, formal category theory, extension system for monads.
