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