[Haskell-cafe] Splitting off many/some from Alternative

[Carl Howells]

> There is absolutely no implication of consuming anything in the definitions
> of many or some. This is how they happen to behave when used in the context
> of some parsing libraries, but that's all. If many or some always go into an
> infinite loop for some Alternative instance, then I suspect that the
> instance itself is either broken or shouldn't exist.

So, then...  The instance for Maybe shouldn't exist?

Prelude Control.Applicative> some Nothing
Nothing
Prelude Control.Applicative> some $ Just ()
^CInterrupted.

Carl