Re: [GHC] #9244: Compiler could warn about type variable shadowing, and hint about ScopedTypeVariables