file state: type(X) is Y ==> isinstance(X, Y)