Number.ResidueClass.Check
data T a
factorPrec
(/:)
isCompatible
maybeCompatible
fromRepresentative
lift1
lift2
errIncompat
zero
one
fromInteger