Re: [GHC] #12439: DeriveDataTypeable - deriving Data for several type constructor applications