:: Monoid_a _ => _ a -package:mtl -package:mtl-prelude package:adjunctions -is:exact

Retrieves the monad environment.