the basicest of type checking