2533: Generic functions that take integral arguments should work the same way as their prelude counterparts

[Yitzchak Gale]

Sean Leather wrote:
> Can you examples of both naive definitions and fast definitions of Nat? I'm
> curious.

Besides naive or fast, there is also lazy. So for example, using lazy
naturals, the expression genericLength x < genericLength y only
forces enough of x and y to determine which is longer.

Here is John Meacham's implementation:

http://www.haskell.org/pipermail/haskell-cafe/2007-October/033213.html

Regards,
Yitz