However, nevermind. I think we shouldn't corsce to String, but just rely on `toString()` for `sortedKeys`.
The polishing will be soon to discuss further