Re: [GHC] #5985: Type operators are not accepted as variables in contexts