interface Test {
    op (a: Self) + (b: Self) -> Self;
}

implement Test for Int;