実装をすることにしました。私は愚直に以下のようにしました。とも書けることを教えてもらいました。どんな働きをするのかを調べました。この式が上の式と同じ挙動になることを理解するのを目標にします。以下のような定義になっています。継承する型クラスです。順に見ていくことにします。以下のように定義されています。パターンありますがここでは無視しました)。以下のように実装されています。分かりやすく型注釈を付けてあります。モノイド演算っぽいものが定義されています。以下のように実装されています。以下のように定義されているのと同等であることが分かります。用いて以下のように定義されています。分かりやすいように括弧を補ったり変数名を変えたりしてます。これらを合わせれば以下のように評価されることが分かります。用いた表現が一番最初の表現と同等であることが分かりました。これから勉強したいと思います。reserved.TOP。