Numeric.Decidable.Associates
class
DecidableAssociates
r
isAssociateIntegral
isAssociateWhole