Moggi effectsLast updated Mar 7, 2023ReferencesAdjunctions whose counits are coequalizers and presentations of finitary enriched monads (Kelly, Power)Notions of computation and monads (Moggi)The Costructure-Cosemantics Adjunction (Garner)RelatedMonadEffectful category