Re: [GHC] #15209: ~# is always in scope with TypeOperators