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

Retrieves the monad environment.