my experience with python's optional type system was that the simple stuff works very well, but when you try to go down a type rabbit hole for more advanced stu

my experience with python's optional type system was that the simple stuff works very well, but when you try to go down a type rabbit hole for more advanced stuff involving generics it becomes really unworkable, inconsistent, and hard to dig yourself out of. but for little things, like just function signatures, it's great!