Remade IO monads in View.Logic
Finished monadization in View.Logic