--| Returns `True` if a number is `0` and returns `False` otherwise
let isZero
    : Natural → Bool
    = Natural/isZero

let example0 = assert : isZero 2 ≡ False

let example1 = assert : isZero 0 ≡ True

in  isZero