1. No category

分割できながら等価：型レベル・エイリアス