#$ Use class from outside, two of the same instances using a non-local polymorphic function.
# 10
# 420
# 69
# ()
# 1337
# True
# 1
# 10
# 420
# 69
# ()
# 1337
# False
# 0

class A
	do-sth (x _) -> Unit

inst A I32
	do-sth (x I32) -> Unit
		println(x)
		return

outer-const = 420
fn f ()
	bool-const = 10
	some-env = 1337
	fn print-id (asd)
		println(some-env)
		println(asd)
		return asd

	fn g()
		h-const = 69
		fn h()
			boop-const = Unit

			inst A Bool
				do-sth (x Bool) -> Unit
					println(bool-const)
					println(outer-const)
					println(h-const)
					println(boop-const)
					print-id(x)
					if x
						println(1)
					else
						println(0)
					return

			do-sth(True)
			do-sth(False)
			return
		h()
		return
	g()
	return

f()