jacinda-3.0.0.0: examples/uniq.jac

fn step(acc, this) :=
  ?this = acc->1;
    (this . None);
    (this . Some this);

(->2):?step^(''.None) $0