úÎço      Safe-Infered 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  cmpNat1GT. JminusNat1 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.  !    ! Safe-Infered 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.  "#$%&'(     "#$%&'( Safe-Infered Integers "A positive natural number or zero A negative natural number )*+,-./ )*+,-./0      !"#$%&'()*+,-./01234nat-0.3Data.Number.Nat1Data.Number.NatData.Number.IntNat1IOIHi cmpNat1LTinvOrd minusNat1fromNat1toNat1NatPosZerocmpNatLT divmodNat1fromNattoNatlengthtakedrop replicate lengthNumtakeNumdropNum replicateNumIntPos0Negpos $fRealNat1 $fNumNat1 $fEnumNat1 $fOrdNat1 $fReadNat1 $fShowNat1 $fRealNat $fIntegralNat$fNumNat $fEnumNat$fOrdNat $fReadNat $fShowNat $fRealInt $fIntegralInt$fNumInt $fEnumInt$fOrdInt $fReadInt $fShowInt