Type validity multiple arguments