update tree_monadize.ml