Lazy natural numbers.
Addition and multiplication recurses over the first argument, i.e.,
`1 + n`

is the way to write the constant time successor function.

Not that (+) and (*) are not commutative for lazy natural numbers when considering bottom.

Lazy natural numbers.
Addition and multiplication recurses over the first argument, i.e.,
`1 + n`

is the way to write the constant time successor function.

Not that (+) and (*) are not commutative for lazy natural numbers when considering bottom.