「型推論とは何か」の前に「型とは何か」を説明すべきだろうけど，これが大変そう。
というか俺もよくわかってない。
今もイデアルを使ったモデルが主流なのだろうか。