[C++][CPPCON] s.t. about type kinds

Reference:
https://www.youtube.com/watch?v=va9I2qivBOA

std::variant
all_of
any_of
mismatch
equal
merge
set_union
set_intersection

Packs are a distinct kind

All types belong to a kind
 ... or 14(types), depending how you count
e.g.
nullptr
template names belong to another kind

There is a one-of-a-kind construct
Adding new kinds is almost unprecedented.

Packs are unlike everything else in C++
pointer to member function,
i.e.  ->*  .* return has no type.

std::integer_sequence

Hybrid algorithm, compile-time + runtime:
i.e. Linear search at compilation, binary search at runtime.