Exercise2.80Defineagenericpredicate=zero?thattestsifitsargumentiszero,andinstallitinthegenericarithmeticpackage.Thisoperationshouldworkforordinarynumbers,rationalnumbers,andcomplexnumbers.这道题更简单，直接与0相比较就行，以下