:: Monoid_a _ => _ a -package:Cabal-syntax -package:cabal-install-solver package:adjunctions

Retrieves the monad environment.