{-# LANGUAGE Haskell2010 #-}
-- !!! Not "simple type" in instance
module M where
instance Eq a