1. カテゴリーなし

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