class TypeIsIn
class promise_state
template <class Tclass M>
template <class Tclass M
>
M member_type (M T::* )