Re: [GHC] #8714: ExistentialQuantification plus DeriveDataTypeable leads to core lint error