úÎ       GA binary representation of natural numbers which starts with the least  significant bit.  A one bit  A zero bit DThis constructor represents the most significant bit. There are no  leading zero bits. BThis function is used to implement lazy instances of compare and (<),  (<=), (>), (>;=). It is used to transfer information to more significant G bits. Instead of yielding EQ it yields LT if the numbers are equal. FMaps LT to GT and GT to LT. It is used instead of defining a function  cmpNatGT. IminusNat x y yields x - y + 1. This is used to implement (-) for natural  numbers. ?This is used for the implementation of toInteger and fromEnum. ?This is used for the implementation of fromInteger and toEnum.    Natural numbers and zero A natural number Constructor representing zero BThis function is used to implement lazy instances of compare and (<),  (<=), (>), (>;=). It is used to transfer information to more significant G bits. Instead of yielding EQ it yields LT if the numbers are equal. ?This is used for the implementation of toInteger and fromEnum. ?This is used for the implementation of fromInteger and toEnum.       Integers "A positive natural number or zero A negative natural number  !"#$%&       !"#$%&'(nat-0.1Data.Number.NatData.Number.NatOData.Number.IntNatIOIHicmpNatLTinvOrdminusNatfromNattoNatNatOZero cmpNatOLTfromNatOtoNatOlengthtakedrop replicate lengthNumtakeNumdropNum replicateNumIntNegpos divmodNatO divmodNatO'cmpIntLT-^minusmult2incNegdecNegfromInttoIntneg