The IO Monad in PHP