Alternative package:protolude

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