___type
#define ___type(...) __typeof_unqual__(___arrow(__VA_ARGS__))
#define ___type(...) typeof(___arrow(__VA_ARGS__))