すごいHaskellたのしく学ぼう!(略してすごいH本)ですが、難しかったけどなんとか読了できました。 しかしこの本、全体的に解説が丁寧なのですが、重要じゃないとみなされた部分の説明は、意外とザックリしてる印象です。 というわけで、ちょっと理解に時間がかかった箇所を自分なりにまとめておこう! という記事です。 最初に躓いた箇所は、第11章の249P「関数もアプリカティブだよ」というところでした。 結論は :: f g = \r -> (f r) (g r) なのですが、最初に見たときはサッパリだったので、これについてメモします。 アプリカティブファンクターのの定義は :: f (a -> b) -> f a -> f b だから、この f を関数の型クラス ((->) r)に置き換えて :: ((r -> a) -> b) -> (r -> a) -> (r -> b) でもって、((r