import LIB/default.lm;

type AB A | B; zero AB B;

main := λ. (: (
  (print (non-zero A))
  (print (non-zero B))
) Nil);