#include <type_traits>

int main()
{
    using List = Pack<char, double, bool, int, bool, char>;

    static_assert( Contains<int, List>::value );
    static_assert( !Contains<unsigned, List>::value );

    static_assert( Is_Subset<Pack<int, char>, List>::value );
    static_assert( !Is_Subset<Pack<int, char, float>, List>::value );

    static_assert( Are_Equal<List, List>::value );
    static_assert( !Are_Equal<Pack<int, char>, List>::value );
}