[jon-wood]

I’m curious, what do you mean by having to wonder if it’s really a User? It’s optional in Python but you can use type annotations and then the type checker will shout at you for passing something that’s not a User instance to things that expect one.

[brap]

The type checker can be ignored in all sorts of ways

[akkad33]

I mean, that is implicit in the statement. The question is how