Another tip is trying to find a generic programming library to get rid of some of the boilerplate tree traversal you will end up doing. Dunno about the Ocaml ec

Another tip is trying to find a generic programming library to get rid of some of the boilerplate tree traversal you will end up doing. Dunno about the Ocaml ecosystem but for Haskell you could use something like Uniplate or SYB.