1data T = T deriving Eq
2