type T(a,b) = Unit + a*b