Added monad methods to IO
Document 4.2 changes