IO works as a Monad here too