module Integer where isZero :: Integer -> Bool ; isZero 0 = True ; isZero _ = False ;