The Art of Type Programming
https://mistlog.medium.com/the-art-of-type-programming-cfd933bdfff7
Tags: typescript, types, language