I found a difference between GHC 7.6.3 and 7.8.3 with respect to UndecidableInstances.

7.6.3 requires UndecidableInstances to compile this snippet whereas 7.8.3 doesn't. What has changed in the type checker?

Mitsutoshi