Comparison operators can be overridden in python, so type checkers need to be conservative when making assumptions about comparability of two values. For that reason, the logic limits the check to ...