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

[Bryan O'Sullivan]

On Mon, Dec 12, 2011 at 9:42 AM, Carl Howells <chowells79 at gmail.com> wrote:

>
> Well, as I read it, the whole point of this thread was "They don't
> make sense for many instances of Alternative.  They should be moved to
> a different class."  It sounded like you were arguing that any
> instance of Alternative where they don't make sense shouldn't be an
> instance of Alternative, instead.


Correct. And your example of "some (Just 1)" inflooping was not a
counterargument, but rather an illustration that perhaps some people (and
I'm not trying to imply you here, don't worry) don't understand what some
and many are supposed to do.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111212/5051bd34/attachment.htm>