Re: [GHC] #10000: Derived DataKinds Typeable instance collision leads to SafeHaskell violation