Proposal: merge Data.Functor.Coproduct into transformers
Ross Paterson
ross at soi.city.ac.uk
Sun Dec 16 01:57:43 CET 2012
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.
(So now they'll both clash with Data.Monoid.)
More information about the Libraries
mailing list