Number.ResidueClass.Func
data T a
concrete
fromRepresentative
lift0
lift1
lift2
zero
one
fromInteger
equal
notImplemented
lift98_1
lift98_2