import LIB/default.lm;

macro ('my-seq base-type v ) (
   a := λ(: t base-type+base-type). v;
);

a := λ(: t t). 3_u64;
my-seq I64 2_u64;
my-seq U64 3_u64;

main := λ.(: (
   (print(a 1_i64))
   (print(a 2_u64))
) Nil);