References Adjunctions whose counits are coequalizers and presentations of finitary enriched monads (Kelly, Power) Notions of Computation and Monads (Moggi) The Costructure-Cosemantics Adjunction (Garner) Related Monad effectful category
