:: Monoid_a _ => _ a package:adjunctions

Retrieves the monad environment.
Return the state from the internals of the monad.