X
Просто, я тут решил воспользоваться ContT и уже получил какую-то дребедень
validator :: Reader Update Bool -> ContT r (Reader Update) () -> ContT r (Reader Update) ()
validator pred exit = do
x <- lift ask
let a = runReader pred x
unless a exit
