> Checking if something is or is not True/False/None can just be treating the thing as True-ish or False-ish.

No, it can't. Especially obviously not something whose type is Optional[bool]. Or, more subtly, Optional[Number] or Optional[Sequence[T]].