Alternative -is:exact -is:exact

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

• some v = (:) <$> v <*>
  many v

• many v = some v <|> pure
  []