Re: [GHC] #1930: Make operators into type constructors, rather than type variables