using MyVt = std::variant<int, float>;
static_assert( MyVt::has_type< bool >::value, "oops, forgot bool");

static_assert( mpl::has_key< MyVt::typelist, T >::value, "oops, forgot T");