-- !!! Type synonym in instance
module M where
instance Eq String