#$ Use class from "outside" and two different instances from "inside" using a polymorphic function.
# 10
# 420
# 69
# ()
# 1337
# True
# 1
# 123
# 1337
# 123

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

some-env = 1337
fn print-id (asd)
	println(some-env)
	println(asd)
	return asd

outer-const = 420
fn f ()
	bool-const = 10
	fn g()
		h-const = 69
		fn h()
			boop-const = Unit
			inst A I32
				do-sth (x I32) -> Unit
					println(x)
					print-id(x)
					return

			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(123)
			return
		h()
		return
	g()
	return

f()