ふつける現在11章ぐらい

なんだ、型クラスってConceptじゃないか？あとaliasとかtypedef(いずれもD的な意味で)とか。データ型はなんかstruct(C的)+union+enumみたいな。というかC++のFunctionalなあれやこれやを見たことある人ならそこまで突っかからずに理解できる感じ。ただ私はMonadの本質がまだ掴めてない。