Numeric.MixedTypes.Ring
type CanAddSubMulBy t s
class Ring t
class OrderedRing t
class OrderedCertainlyRing t
type CanMul t1 t2
class CanMulAsymmetric t1 t2
type CanMulBy t1 t2
type CanMulSameType t
class CanPow b e
type CanPowBy t1 t2
type CanPowCNBy t1 t2