ソート済み配列のみをを受けとるコンポーネントとかは例としてどうですか？検索系の事前条件としてよくあるやつで、型にしておくことでクラス不変条件に転嫁することをよくやります