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

Retrieves the monad environment.