Îõ³h&  •      Safe-Inferred)*/1ÌÙÚÜï {modular-arithmetic)A modular number with an unknown modulus. Conceptually SomeMod i = ƒDn. i/n.modular-arithmetic;The modulus has to be a non-zero type-level natural number.modular-arithmetic7A synonym for Integer, also inspired by the ¤B/n syntax.modular-arithmeticA synonym for Mod., inspired by the ¤B/n syntax from mathematics.modular-arithmeticWraps an underlying  Integeral type i( in a newtype annotated with the bound n.modular-arithmetic:Extract the underlying integral value from a modular type.unMod (10 :: ¤B/4)2modular-arithmetic(Helper function to get the modulus of a ¤B/n* as a value. Used with type applications: modulus @55modular-arithmetic×Injects a value of the underlying type into the modulus type, wrapping as appropriate.If n' is ambiguous, you can specify it with TypeApplications: toMod @6 104 Note that n cannot be 0.modular-arithmeticConvert an integral number i into a $ value with the type-level modulus n! specified with a proxy argument.This lets you use  without TypeApplications in contexts where n is ambiguous.modular-arithmetic