Re: [GHC] #11715: Constraint vs * (was: There's something fishy going on with Constraint)