parameter type checking.