Numeric.Ring.Opposite

data Opposite r