>>644
できるが、そもそもこの二つ（ソースとシンク）を引数として取る関数が ($$) だよ。

というか、MVCアーキテクチャって、C が M と V の間を取り持つんじゃないの？
C がユーザーとのインターフェースを担当して M に仕事を依頼、必要なら V にも更新を依頼。


こういうストリームが Conduit でできると理想なんだけど

[ユーザーからデータ変更依頼] -> C ==> M ==> C ==> V

まぁ 2 つ目の C は要らんかもしれんが。
C ==> M のストリームは制御信号を流す（この例の場合はデータ変更依頼信号）。
M ==> C ==> V のストリームで実際のデータを流す。

無理なら、C を Conduit のソースにするのではなく、ソースはあくまで M にして、
C は M ==> (C) ==> V のストリームを発火させるだけにする。

データベースのオープ／クローズを1回で済ますために、
Main 関数で MVC全体を囲うように Prtsist の run をしているんだけど、

>>643
> ならModelでPersist関連のラッパーモナドとrun関数を用意して、それを返すようにするとか

このような状況で run を M 側に持ってくることができるのなら大満足だ
ちょっと考えてみるよ