{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":")"}]}
            ) => num_binders == num_binders2 && sig == sig2,
                TyKind::Function(FnPointer { num_binders: num_binders2, sig: sig2, .. }),
            (TyKind::Tuple(cardinality, _), TyKind::Tuple(cardinality2, _)) => {