{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"unnormalized_input_tys,"}]}
            unnormalized_input_tys,
            unnormalized_output_ty: *unnormalized_output_ty,
            yield_ty,