>>648
> これをConduit式で素直にやるなら、最初のCがSource、
> Mと二番目のCがConduit、VがSinkになる

それは分かるが、そのモナドの型が
(PersistMonadBackend m ~ SqlBackend, PersistQuery m)
というコンテキストでなければならなくなる。
>>640 の viewRecords 関数のように。

> でmainでmを特定のデータベースバックエンドに実体化する

>>645 でも言ったが、現状そうしてる。

で、これも >>645 で言ったが、
run を M 側に持ってくることができるのなら大満足だから、
それを考えている。