こんにちは。 すごいHaskellたのしく学ぼう!の11章に出てくるアプリカティブ則の一つ、「composition則」について何を言っているかを考えてみました。 composition則 Applicative型クラスを継承するデータ型は、関数を実装すること以外にも、実装した関数が…