Re: [Hs-Generics] Generics and data families

Hi Reiner, On Wed, Mar 14, 2012 at 00:30, Reiner Pope wrote:

A similar question is what the following should do:

...

{-# LANGUAGE DeriveGeneric, FlexibleInstances, StandaloneDeriving #-} import GHC.Generics data T a = T a deriving instance Generic (T Bool)

Surprisingly, it currently generates the following instances:

...

instance Generic (T Bool) where ... type instance Rep (T a) = ...

Oh, this is a bug. I'll open a ticket for it and fix it soon. Thanks, Pedro