merge x nil x merge nil y y merge ++ x y ++ u v ++ x merge y ++ u v merge ++ x y ++ u v ++ u merge ++ x y v 2.2 merge ++ x y ++ u v merge ++ x y v merge ++ x y ++ u v merge y ++ u v true merge ++ x y ++ u v merge y ++ u v true merge 2 0 v 0 0 u 0 0 ++ 2 2 1 merge 2 1 0 nil 0 0 merge ++ x y ++ u v merge ++ x y v false NaTT certifiable-1.6