On Sun, Dec 16, 2012 at 1:57 AM, Ross Paterson wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Sat, Dec 15, 2012 at 09:24:48PM +0000, Henning Thielemann wrote:<br>


&gt; Since I proposed that and became aware of the newtype solution in the<br>
&gt; meantime, I change my mind to:<br>
&gt;<br>
&gt; &gt; data Sum f g a = Sum { getSum :: Either (f a) (g a) }<br>
<br>
</div>OK, let&#39;s do that.  It matches the treatment of Product.<br>
(So now they&#39;ll both clash with Data.Monoid.)<br></blockquote><div></div></div><br><div>Great!</div><div><br></div><div>I&#39;m guessing the smart constructors and eliminator should still be included? We had: left, right, coproduct. Do we now have: left, right, sum?</div>

<div><br></div><div>Regards,<br>Sean</div>