let (&) x y = Opt_cons (x, y)