struct S = {  }
newtype T = T S
instance Show T where { }
instance Eq T where { }
instance Num T where { }
-- instance Eval T where { }