#$ Inner function not generalizing over TVar that is its return value (with explicitly defined parameters) ((scoped parameters!!!!!))
# 69
# ()

fn outer (n a) -> () -> a
	fn inner () -> a
			return n

	return inner

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

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