Re: [GHC] #2600: Bind type variables in RULES