Moggi effectsLast updated Aug 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