Alternative package:rebase

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