型を無視して考えると「3+5は？」とかが解ければ良いわけじゃん？＞＜ でも順序問題みたいな事を起こしてまで教えてるのは、「リンゴ3、みかん5」とかをどういう式（3+5とか）にすればいいのか？を学ぶ為じゃん？＞＜ それ、型の定義そのものじゃん？＞＜