Implement Functor, Applicative, Monad and Alternative for Parser
Monadic parsing would let us take advantage of the polymorphic (<$>)
, (<*>)
, (<|>)
, (>>=)
, yield
as pure
/return
... operators in the standard library and additionally make do
-notation available. For backwards compatibility, this module could reexport the polymorphic versions.