Alternative.some and NonEmpty

Sven Panne svenpanne at
Tue Mar 7 19:02:42 UTC 2017

2017-03-07 18:11 GMT+01:00 Henning Thielemann <lemming at

> 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: <>

More information about the Libraries mailing list