Open: parameter type checking