https://toanthua.com/what-is-typing-in-python