enum Never {} だとすべてのサブタイプになるのと整合性取れなくないですか？