One idea @WalterBright and I discussed is to place this library in druntime, seeing as it's a better fit in there as a low-level building block for more sophisticated abstractions. If we go with that, these four traits are the only Phobos dependency.