型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語
https://scrapbox.io/files/68318ccd0ff9dad4e12737d5.png