1 2 3 4 5 6 7 8
{-# LANGUAGE Haskell2010 #-} -- !!! Type sigs in instance decl module M where data T = T Int instance Eq T where (==) :: T -> T -> Bool T x == T y = x == y