type-inference
123