sortedがついた場合も優先順位働かせることはできそうですけどやっぱ中間の型が隠れてるのは良くないとかいう判断なんでしょうかね。 (edited)