Solving iomonad