Function argument type checking