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