type T = lin!boolean.rec a.un!integer.a

new x y : T

x!true.{x!5.x!7 | x!9} |
y?z.y*?w.printInteger!w