j      Safe &'-FSTV 'A modular number with an unknown bound.7A synonym for Integer, also inspired by the !$/n syntax.A synonym for Mod., inspired by the !$/n syntax from mathematics.Wraps an underlying  Integeral type i( in a newtype annotated with the bound n.: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.WInjects a value of the underlying type into the modulus type, wrapping as appropriate.<Wraps an integral number, converting between integral types.The modular inverse. inv 3 :: !$/75 3 * 5 :: !$/71"Note that only numbers coprime to n have an inverse modulo n:  inv 6 :: !$/15:** Exception: divide by 6 (mod 15), non-coprime to modulusConvert an integral number i into a  value given modular bound n at type level. Convert an integral number i into a  value with an unknown modulus. &Integer division uses modular inverse :, so it is possible to divide only by numbers coprime to n and the remainder is always 0.        1modular-arithmetic-1.2.1.3-2kxBGEq9ymx9kpQ9rX51Ga Data.ModularSomeModℤ/ModunModtoModtoMod'invmodVal someModVal $fIntegralMod $fRealMod $fBoundedMod $fEnumMod$fNumMod $fReadMod $fShowMod $fShowSomeMod$fEqMod$fOrdMod_bound