:: Monoid_a _ => _ a -package:cabal-install-solver -package:base package:mtl-prelude

Retrieves the monad environment.