型エイリアスの型拡張