import LIB/default.lm;

type XY (XY( U64 , U64 ));

f := λ. (: (
   (let x (XY( 1_u64 2_u64 )))
   x
) XY);

main := λ. (: (
  (f())
  (f())
  ()
) Nil);