ていうかさっきGeminiにオレンジのアイディアについて聞いたときに、
"""精緻化型（Refinement Types）
Ariane 5の例で出された「部分範囲型」を究極まで突き詰めると、Refinement Types になります。 これは、int などの基本型に $x >= 0 && x < 65536$ のような制約（述語）を付与した型です"""
ってまさにそれが出てきた＞＜