Linear types: when f(x) = kx