https://freedom89.github.io/posts/typed-python/