Как определить тип аргумента шаблона (т.е. тернарный оператор во время компиляции)?

Мне нужно простое и легкое решение такого синтаксиса:

template <bool is_true>
class A {
    B<is_true ? int : float> var;  // B is just some other templated class
};

А мне не хочется чего-то такого (впрочем, выглядит нормально, просто хочется, чтобы все выглядело нужным, а не создавать разовые структуры и заявлять о своих специализациях):

template <bool>
struct HelperClass {
    using type = void;
};

template <>
struct HelperClass<true> {
    using type = int;
};

template <>
struct HelperClass<false> {
    using type = float;
};

// 'HelperClass<is_true>::type' instead of ternary operator