#$ Disjoint constructors (but same type) are used.

Fun
	Fun1 (I32 -> I32)
	Fun2 (() -> Unit)

x = Fun1(fn x: x + 1)
y = Fun2(fn: Unit)