-- !!! Not "simple type" in instance
module M where
instance Eq a