Simple type checking