Re: [GHC] #15220: ScopedTypeVariables binds a non-existent variable