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.