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.