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