Alternative package:opt-env-conf

A monoid on applicative functors. If defined, some and many should be the least solutions of the equations: