Associated types at wrong type in instance
Consider
class C x where
type T x
instance C (Either a b) where
type T (Either b a) = b -> a
This is bogus, because the equation for T
has the parameters to Either
reversed. But GHC 8.0 RC1 (and master) allow it.