#= disabled
#$ [env expansion] I don't remember what test this was for, but it had incorrect results, so I'm including it here. If I monomorphize my environment without the function's TypeMap, this test breaks.
# 123


f = fn:123

fn uni (l n, r n)
	return

fn g (x, y)
	println(x)
	println(y)
	return 1

fn ff (x a, y b) -> Unit <= Str a, Str b
	uni(f, fn:g(x, y))
	return

ff(True, Unit)
ff(123, False)
ff(Unit, Unit)

println(f())