code: def test_unify_quantified_funcs_nesting():
      solver = make_solver()
      a, b, c = (
          relay.TypeVar("a"),
          relay.TypeVar("b"),
          relay.TypeVar("c"),
      )
  
      ft1 = relay.FuncType(
          [a, relay.TupleType([b, c])],
          relay.TupleType([a, b, c]),
          [a, b, c],
      )
      ft2 = relay.FuncType(
          [a, relay.TupleType([a, a])], relay.TupleType([a, a, a]), [a]
      )
      unified = solver.Unify(ft1, ft2)
      assert unified == ft2
  
imports: import tvm
  from tvm import relay
  from tvm.relay import testing
  import pytest
  import numpy
label_desc: Use image node_id 16 for calling a global function with example usage: test_unify_quantified_funcs_nesting() without return types