Type inference for applied arguments
Type inference for single-argument functions