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

Retrieves the monad environment.