条件付きの型エイリアス