MonadPlus reform proposal

[gusty]

Description

Based on the original proposal in Haskell:

https://wiki.haskell.org/MonadPlus_reform_proposal

But taking into account in Haskell it could be tricky, whereas here it seems to be simpler.

Actually we don' t have a MonadPlus at all, since we don't have typeclasses, just single operations and abstractions that are represented by those groups of operations.

Moreover, we use the Alternative notation instead of the MonadPlus, so I propose to use:

• <|> for orElse
• <+> for append

Open questions

Which one will be the one used for monad.plus computation expressions?

Links:

https://www.reddit.com/r/haskell/comments/1q6o2a/the_f_computation_expression_zoo_why_computation/