None !"(=JKM 9This type represents a modular number with unknown bound.7A synonym for Integer, also inspired by the !$/n syntax.A synonym for Mod., inspired by the !$/n syntax from mathematics.(The actual type, wrapping an underlying  Integeral type i( in a newtype annotated with the bound.:Extract the underlying integral value from a modular type. Returns the bound of the modular type in the type itself. This breaks the invariant of the type, so it shouldn't be used outside this module.JWraps the underlying type into the modular type, wrapping as appropriate.FWraps an integral number to a mod, converting between integral types.8The modular inverse. Note that only numbers coprime to n have an inverse modulo n.Convert an integral number i into a  value given modular bound n at type level. Convert an integral number i into an unknown  value. &Integer division uses modular inverse :, so it is possible to divide only by numbers coprime to n and the remainder is always 0.                  modular-arithmetic-1.2.1.0 Data.ModularSomeModℤ/ModunModtoModtoMod'invmodVal someModVal_bound $fIntegralMod $fShowSomeMod $fRealMod $fBoundedMod $fEnumMod$fNumMod $fReadMod $fShowMod