typing_protocol_intersection
