Everything in Python is an object, or so the saying goes. If you want to create your own custom objects, with their own properties and methods, you use Python’s class object to make that happen ...

Yet with current syntax it's not possible to describe the function narrowing type by returning False. Proposal: give TypeGuard second optional argument: TypeGuard[A, B] should narrow argument type A | ...