Take the following definition:

type family G (a :: k) where
   G Int  = Bool
   G Bool = Int
   G a    = a

It compiles in 7.8.3, but not in 7.10.1 RC2. This makes me sad. I will fix.

(Found by Jan Stolarek.)