t a b -> m b -> s -> m t ?
можно вместо монадического сета всю линзу сделать "монадической" и использовать обычный сет: http://hackage.haskell.org/package/monad-var-0.2.1.0/docs/MonadVar-Lens.html#v:effectful
ну а можно просто использовать линзу как вариант traverse, как вверху написали
О! Не знал про effectful, спасибо
Обсуждают сегодня