与えられた項の型を返す関数を示します。計算されたことがわかります。いうわけで、型システムを学ぶには、以下の教科書を読むのがいいです。どんな教科書で勉強するのかわからん!という人にはオススメです。設計やプログラミングスタイルにあわせたつもりです。コードの全体はGitHubに置いてあります。なんか、長いわりに不完全な記事になってしまいましたが、ひとまずおしまいです*7。読みたい!今なら読めるかも知れない。各々の証明は、あとで別頁に書くかもしれません。今年中に書・・・けるかな。定義のなかに、特別な型として関数型を定義してありました。型コンストラクタとすることで、関数型も一般的に扱っています。「現在の型代入」は、型推論モナドが状態として保持しています。書き足すかも知れません。