[Comp] ふつける

一応、一通り読み終えた。
モナドと型システムは、まだ、よくわかってない。