typeCである必要性を誰か明確に結論づけてほしい。