>>651
>それは分かるが、そのモナドの型が
>(PersistMonadBackend m ~ SqlBackend, PersistQuery m)
>というコンテキストでなければならなくなる。
いや、そうやって分ければMVCが全部同じコンテキストを持ってる必要がなくなるだろ
Mでは(PersistMonadBackend m ~ SqlBackend, PersistQuery m)
Vでは(MonadIO m)
Cでは(Monad m)か(MonadIO m)