úÎĸportable provisionalEdward Kmett <ekmett@gmail.com> Safe-InferredA refinement of : to represent types that do not contain negative numbers.   portable provisionalEdward Kmett <ekmett@gmail.com> Safe-Inferred     nats-0.1Numeric.Natural.InternalNumeric.NaturalWhole toNatural unsafePredNatural runNaturalbaseGHC.RealIntegral$fWholeNatural $fWholeWord64 $fWholeWord32 $fWholeWord16 $fWholeWord8 $fWholeWord$fIntegralNatural $fEnumNatural $fRealNatural $fBitsNatural $fNumNatural $fReadNatural $fShowNatural