{-# LANGUAGE Haskell2010 #-}
-- !!! Type synonym in instance
module M where
instance Eq String