Alternative package:base

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

Examples

>>> Nothing <|> Just 42
Just 42
>>> [1, 2] <|> [3, 4]
[1,2,3,4]
>>> empty <|> print (2^15)
32768