Discussion: GHC.Generics vs. transformers Sum/Product

Thu Feb 18 20:27:12 UTC 2016

On Thu, 18 Feb 2016, David Feuer wrote:

> Entirely equivalent types, with less pleasant names, appear in 
> transformers Data.Functor.Sum and Data.Functor.Product, where they are 
> given plenty of instances. Is there some way to bring these things 
> together, preferably with the names from GHC.Generics and the instances 
> from Data.Functor.Sum and Data.Functor.Product?

I prefer the names from 'transformers'. They are Haskell 98, they do not 
need type-level operators.