Integers modulo n parametrised by the n. This also has type-level primality testing used for instantiating integral domain and field type classes. The primality testing is very slow, but it seem to be working fine for relatively small numbers.

# Documentation

The phantom type n represents which modulo to work in.