import LIB/default.lm;

type A (A( U64 ));
type B (B( A ));

main := λ. (: (
  (let bb (B( (A( 1_u64 )) )))
  (match bb (
     ()
     ( (B( (@( ba (A( a )) )) )) (
        (print a)
        (match ba (
           ()
           ( (A( baa )) (
              (print baa)
           ))
        ))
     ))
  ))
) Nil);