Re: [GHC] #8215: Out of scope with `-dcore-lint` and derived instances in GHCi