The type lists on unit is canonically equivalent to the natural numbers.