Re: [GHC] #10634: Type class with injective type functions