Add a simple (and possibly imcomplete) monad to interject IOs