Associated types at wrong type in instance
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.