Alternative.some and NonEmpty

[Sven Panne]

2017-03-07 18:11 GMT+01:00 Henning Thielemann <lemming at henning-thielemann.de
>:

>
> On Tue, 7 Mar 2017, Mario Blažević wrote:
>
>> [...]You're correct on both counts, sorry about that. It would have to be
>>
>> genericMany, genericSome ::
>>  (Alternative f, Applicative m, Semigroup (m a)) => f a -> f (m a)
>>
>> once Semigroup is in base.
>>
>
> But then, for genericMany, Monoid would be appropriate, again. :-)
>

I think this discussion alone is enough of a hint that there is a need for
a broader discussion to come up with coherent story regarding NonEmpty in
general. ;-) Focusing on one or two functions alone will probably do more
harm than improve the overall situation.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170307/7374ddd3/attachment.html>