https://paolochang.github.io/posts/typescript_types/