:: Monoid_a _ => _ a package:mtl-prelude

Retrieves the monad environment.