K None(=JKM7A 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.       modular-arithmetic-1.2.0.0 Data.Modularℤ/ModunModtoModtoMod'_bound $fIntegralMod $fRealMod $fBoundedMod $fEnumMod$fNumMod $fReadMod $fShowMod