ていうか、部分範囲型を作ろうとすると、整数と証明のタプルみたいなの（？）になるの、どういうことなの？＞＜；