class Add[a: Type]
A trait for addition.
def add(x: a, y: a): a with Add[a]
Returns the sum of x and y.
x
y