7 Mar
2017
7 Mar
'17
2:02 p.m.
2017-03-07 18:11 GMT+01:00 Henning Thielemann : 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.