結果を後続の計算に連鎖することが可能となった。場合によっては不便だったり、コードが肥大化することもある。あって、米ドルを有利な場合のみ買いたいとする。コールバックに進み、ここで買うかどうかの決断をすることができる。作って、有利な場合のみ買う決定をしてリクエストを送信する。完了すると、通知メッセージを標準出力に表示する。これは動作するが、2つの理由により不便だ。その中に入れ子にする必要があることだ。完了した後に別の貨幣を売却したいとする。中でこのパターンを繰り返すことになり、インデントしすぎで理解しづらく肥大化したコードとなる。コールバック内においてのみ操作することができる。コールバックを登録することもできない。自然な合成を行うコンビネータを提供する。投射はコレクションの投射と同様に考えることができる。コールバックを一切使わないようになった。それと、より重要なのが入れ子が無くなったことだ。例外とともに失敗する。失敗した場合を想像してほしい。同じ例外とともに失敗する。値を投射したものとともに完了する。その例外とともに完了する。この例外を伝搬させる意味論は他のコンビネータにおいても同様だ。内包表記から利用できるようにすることだった。