Outlining the type checking of function parameters with function calling