import LIB/default.lm;

type A (AA( U64 ));
type B (B( List<A> ));

main := λ. (: (
   (let l1 (: LEOF List<U64>))
   (let l2 (LCons( 1_u64 (close l1) )))
   (let l3 (LCons( 2_u64 (close l2) )))
   (let l4 (LCons( 3_u64 (close l3) )))
   (print 'L1\s_s)(print l1)(print '\n_s)
   (print 'L2\s_s)(print l2)(print '\n_s)
   (print 'L3\s_s)(print l3)(print '\n_s)
   (print 'L4\s_s)(print l4)(print '\n_s)
   (print 'Reverse\sL4\s_s)(print(reverse l4))(print '\n_s)
   (print 'L2+L4\s_s)(print(+( l2 l4 )))(print '\n_s)
) Nil);