8 Mar
2017
8 Mar
'17
3:02 a.m.
2017-03-07 18:11 GMT+01:00 Henning Thielemann <lemming@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.