Insert function for a trie in Ocaml
Sometimes just adding whitespace helps:

let rec add w tr = match w, tr with 
    | [], Node (_, lvl_l) -&gt;
        Node (true, lvl_l)
    | wh :: wt, Node (b, lvl_l) -&gt; 
        try
            let ins_point = List.assoc wh lvl_l in  
            Node (b, (wh, add wt ins_point)::(List.remove_assoc wh lvl_l)) 
        with Not_found -&gt;
            Node (b, (wh, add wt empty)::lvl_l)


The match expression was upgraded in recent years to match on exceptions. So you can also do this:

let rec add w tr = match w, tr with 
    | [], Node (_, lvl_l) -&gt;
        Node (true, lvl_l)
    | wh :: wt, Node (b, lvl_l) -&gt; 
        begin match List.assoc wh lvl_l with
            | ins_point -&gt;  
                Node (b, (wh, add wt ins_point)::(List.remove_assoc wh lvl_l)) 
            | exception Not_found -&gt;
                Node (b, (wh, add wt empty)::lvl_l)
        end


(I had to wrap the match in a begin/end block to avoid confusing which match the patterns are applied.)

Since the return value has a common form, you could use match to just compute the second part of the pair:

let rec add w tr = match w, tr with 
    | [], Node (_, lvl_l) -&gt;
        Node (true, lvl_l)
    | wh :: wt, Node (b, lvl_l) -&gt;
        Node (b, match List.assoc wh lvl_l with
                 | ins_point -&gt;  
                     (wh, add wt ins_point) :: (List.remove_assoc wh lvl_l) 
                 | exception Not_found -&gt;
                     (wh, add wt empty) :: lvl_l)


It's subjective whether these are any better than your example. I do think, however, that visually showing the structure helps me understand the code better. For instance, my last version shows Node being produced in both match cases. You could elevate the constructor "one more level up" and have the nested match expressions compute the pair to apply to the constructor. This wasn't immediately obvious from your example.