f := λ(: x U64)(: y U64). (: () Nil);
f := λ(: a U64)(: b U64). (: () Nil);