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