s/isZero :: Bool -> Bool/isZero :: Nat -> Bool