型の話はこのコンテキストの課題を超えた先の問題になりますね