Slightly off topic but I really like the approach where the honorific is just dropped entirely. So just [Name]. No Mr/Ms/Mrs. It mostly doesn't serve any purpose anyway.

I absolutely call them vegetables. It's a kitchen term and it absolutely makes sense to categorise them alongside tomatoes, beans, carrots, squash and cabbage. People get too hung up on things only belonging to exactly one category.

Am I being stupid but would this not be a good reason to eat more of them? Be the wolves and Lynxes you want to see in the world.

Yeah there's definitely a lot of room for improvement here

That was definitely a nice feature (I forget exactly when list over List was added). That said I've never really been bothered about having imports. Especially when I know the import is side effect free like the typing module. But I definitely use import free list for script files without many lines of code.

yeah it's an interesting case that an int can be treated as a float. I should probably update my post to mention that it's not strictly a supertype but a special exception mentioned in python's typehinting pep: https://peps.python.org/pep-0484/#the-numeric-tower