#$ Inner function not generalizing over TVar that is its return value.
# 69
# 69
# 420
# ()

fn outer (n)
	fn inner ()
		return n

	return inner

f = outer(69)
g = outer(420)
h = outer(Unit)

println(f())
println(f())
println(g())
println(h())