>>476
そう。だから型の定義とは何で別にしないのかと。