型は式につける制約とその法則だから何かの全体とか思わないほうがいいんじゃね