ghc-7.10.0 type inference regression when faking injective type families

[Richard Eisenberg]

After quite a bit of thought, I agree that this is a regression and that the original program should be accepted.

Make a bug report!

Thanks,
Richard