お約束の「1+1=2っておかしい！ だっておにぎり2個たしたら大きいおにぎり1個じゃん？ さんすうきらい・・・」みたいなのも型理論を小学校の算数に引っ張ってくれば解決じゃん？＞＜って気がしてる＞＜（けどTaPL読んでないから”気がしてる”どまり・・・＞＜；）