An has_member_type macro.