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.