wow this is a super nerdy topic but i actually found it really interesting. i'm gonna play around with some of these type checkers, maybe it'll save me from my https://pyrefly.org/blog/container-inference-comparison/