Monadization of IO in View.Logic