This has come up a number of times and I think there’s a general sense it’s a good idea. However, somebody needs to actually write up a PEP about the idea with a precise specification. If you’d like this feature in the type system, I’d encourage you to write that PEP.
3 Likes