class TypeIsIn
class TypeIsIn<T, List0, ListN...>
class promise_state
template <class Tclass M>
template <class Tclass M
>
M member_type (M T::* )