<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2017-03-07 18:11 GMT+01:00 Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On Tue, 7 Mar 2017, Mario Blažević wrote:<br></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">[...]You're correct on both counts, sorry about that. It would have to be<br>
<br>
genericMany, genericSome ::<br>
 (Alternative f, Applicative m, Semigroup (m a)) => f a -> f (m a)<br>
<br>
once Semigroup is in base.<br>
</span></blockquote>
<br>
But then, for genericMany, Monoid would be appropriate, again. :-)<br></blockquote><div><br></div><div>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.</div></div></div></div>