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

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