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