../../../../../../Prelude/Natural/isZero.dhall 2