まあ、Haskell その他にある程度浸かると、型というものが思っていたよりもずっと色々なものを表現し、そこに意味と規則とプログラミング構造を与えているのだということに気がつく それを知ってしまうと、型はただのコンパイラ向けのなにがしというかつての印象はどこかに消えてしまう