「ふつうのHaskellプログラミング」の269ページに次のように書かれていました。 ちなみに、このように型変数が正しく使われているかどうかチェックするときには類(Kind)という概念が使われています。 類は型の型のようなものです(型クラスともまた違います)…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。