I was thinking more in terms of client code rather than inside the std. But maybe I should remove them.