標準ライブラリをモジュールに分けて必要なものだけ、とするとそういう場合だいたい外したいのはStringとかLocaleとかだったりすると仮定すると、どのライブラリを利用しているかでソートの結果とかも変わってしまう、みたいなことになるのかな。

2:30 AM

みたいなことを考えると、最適化でがんばって枝を払う方が良い結果になるのかもしれない。