Typeclass providing special values
Special values are provided by a SpecialValues typeclass. Those can be used for example by QuickCheck, see quickcheck-special.