../../../../../../Prelude/Natural/isZero.dhall 0