例えばたまたま整数が2個あるデータの形（？＞＜）だからといって、それを「整数が2個あるという型」にするのって（あるレイヤで）型安全じゃなくね？＞＜みたいな事が言いたい・・・＞＜