らりおさんは型システムの議論慣れてるからそんな事は当然として話してるけど、型システムの議論慣れてない人はそこもなんのこっちゃらわからないわけで・・・＞＜