Good point. I forgot about that issue. In any case, I think probably most people can agree that the ones in Generics should really have Functor, etc., instances?

On Thu, Feb 18, 2016 at 3:27 PM, Henning Thielemann <lemming@henning-thielemann.de> wrote:

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.