Simple type checking.