たしかに。この例だとCharacterのSequenceにおいてlexicographicallyだから不適切だ。

3:20 AM

Unicodeって文字列のソート順規定もあった気がする