nion
            get_origin(List[Tuple[T, T]][int]) == list
            get_origin(P.args) is P
        N)