reply
data Int = Zero | NonZero Sign PositiveInt data PositiveInt = One | Succ PositiveInt data Sign = Positive | Negative
0, 109552575, 29354524 :)
1 doesn't mean much regarding true, if every other non-zero integer is also true.
reply