1 2 3 4 5 6 7
-- !!! 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