>>646
やぁ　お・ま・ん・こんばんわ　昼だけどｗ

とりあえず８章まではふんふんと来たが代数的データ型でつまづいた。

モナドは難しいことを避けてくれたので何も説明されてないというかｗ

Newtype宣言したあと『時が見える』見たいな


ところで　P199の

(．）関数の型宣言

（．）　：：　（ｂ−＞ｃ）　−＞　（ａー＞ｂ）　−＞　（ａ−＞ｃ）
凡例　ｆ．ｇ

の順序はこれでいいの隗？
第一引数がｇで第二引数がｆになるのけ？