RE: ghc-7.10.0 type inference regression when faking injective type families