struct True {
    constexpr static bool value = true;
};
struct False {
    constexpr static bool value = false;
};

template <bool val, typename T1, typename T2> 
struct If {
    typedef T2 type;
};

template <typename T1, typename T2> 
struct If<true, T1, T2> {
    typedef T1 type;
};

template <typename...Elems>
struct And {};

template <typename Element>
struct And<Element> : If<Element::value, True, False>::type {};

template <typename Element, typename...Elems> 
struct And<Element, Elems...> : If<Element::value, And<Elems...>, False>::type {};

template <bool val>
struct Check {
    typedef int false_type;
};

template <>
struct Check<true> {
    typedef int true_type;
};

int main() {
    And<True, True, False>::value; // value navigates to true instead of false
    return 0;
}