16 Dec
2012
16 Dec
'12
6:55 a.m.
On Sun, Dec 16, 2012 at 12:57 AM, Ross Paterson
On Sat, Dec 15, 2012 at 09:24:48PM +0000, Henning Thielemann wrote:
Since I proposed that and became aware of the newtype solution in the meantime, I change my mind to:
data Sum f g a = Sum { getSum :: Either (f a) (g a) }
OK, let's do that. It matches the treatment of Product.
Do you mean in name or in implementation? Product is not a newtype, so the most consistent thing to do would surely be to make Sum not a newtype. (This is not a vote, merely a comment).