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.)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information