The advantage of the current approach is that you can just define the traits you need in your crate, and the standard library does not have to stabilize unrefin

The advantage of the current approach is that you can just define the traits you need in your crate, and the standard library does not have to stabilize unrefined interfaces.