Можно ли получить первый тип пакета параметров в одну строку?

У меня есть пакет параметров, заданный в классе вариативного шаблона, и я хочу извлечь первый тип.

В настоящее время я делаю это, что отлично работает, но как-то громоздко. Можно ли то же самое сделать проще? FirstEntityTypeдолжен быть определен, чтобы иметь тип первого типа в EntityTs. Обратите внимание, я хочу сохранить подпись шаблона класса. Я знаю, что можно было бы написать template<typename FirstEntityType, typename... OtherEntityTypes>, однако я не хочу этого делать.

template<typename... EntityTs>
struct EntityContext
{
    template<typename T, typename ... Ts>
    struct K {
        using type = T;
    };

    using FirstEntityType = typename K<EntityTs...>::type;
    
   // ...
};