Test code 'Tiny IO Monad'