primes-type This library provides type safe prime numbers. The idea is based upon the concept of a predicate type from type theory. That is, the value of any object of type Integral a => Prime a is a prime number.