fn isJust(x) :=
  option #f ([:#t) x;

fn isNothing(x) :=
  option #t ([:#f) x;