import LIB/default.lm;

type A (A( a:U64 , b:U64 , c:U64 , d:U64 , e:U64 ));
type B (B( f:A ));

main := λ. (: (
   (let b (B( (A( 1_u64 2_u64 3_u64 4_u64 5_u64 )) )))
   (print (.tag(.f b)))
   (print (.e(.f b)))
   (print (.d(.f b)))
   (print (.c(.f b)))
   (print (.b(.f b)))
   (print (.a(.f b)))
) Nil);