class Sub[a: Type]
A trait for subtraction.
def sub(x: a, y: a): a with Sub[a]
Returns the difference of x and y.
x
y