CUSK mysteries

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.)

Edited Mar 10, 2019 by Ben Gamari

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information