Re: [GHC] #15146: Documentation: ScopedTypeVariables feature not mentioned/misleadingly described