type T(a) = a + b