[Haskell-cafe] Strange subtract operator behavior - and lazy naturals

[Yitzchak Gale]

I wrote:

Yitzchak Gale wrote:
>> So why not make the laziness available
>> also for cases where "1 - 2 == 0" does _not_ do
>> the right thing?
>> data LazyInteger = IntZero | IntSum Bool Integer LazyInteger
>> or
>> data LazyInteger = LazyInteger Bool Nat
>> or whatever.

Luke Palmer wrote:
>     data LazyInteger = IntDiff Nat Nat
> The only value which would diverge when
> compared to a constant would be infinity - infinity.

Hmm. But then you could have integers that are
divergent and non-infinite. What do we gain by
doing it this way?

-Yitz