#$ instantiate and return an inner function, which depends on other functions, which depend on the outer function's polymorphic tvar.
# 1
fn a(x)
	fn b1()
		println(x)
	fn b2()
		b1()
	fn b()
		b2()
	return b

a(1)()