上のアクションは計算だと思えます。型として実現されます。作れば良いことになります。いう名前が付いています。ここでは見やすさを重視して型シノニムにしておきます。インスタンスにできます。全てのモナドが関手の随伴対から得られることの証明に使いますね。計算の合成にはより向きが分かりやすい別名が付いています。こちらの記号には逆向きもあります。普通の関数をアクションに変換することができました。普通の関数を計算に変換する構造が付いていれば便利です。このような計算も作れると便利です。並列に計算を実行するイメージですね。モナドから作ったクライスリ圏の場合を見てみましょう。値に関数を適用した後に文脈で包めば良いだけです。つのアクションを同時に実行するのも簡単です。つの値のうち一方にのみある計算を実行するという計算を作ることもできます。クラスに定義されています。記法という手続き型っぽくアクションの実行が書ける特殊な構文が用意されていました。拡張というものが提供されています。だいたい以下のような構文が許されるようになります。reserved.TOP。