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