@@ -159,10 +159,10 @@ add (k,v) ps = incr (Uno k v Leaf) ps
159159linkAll :: [Digit k v] -> MMap k v
160160linkAll = foldl' link Leaf
161161
162−-- FIXME: shallow depth
163162link :: MMap k v -> Digit k v -> MMap k v
164163link l (Uno k v t) = Node B l k v t
165−link l (Due k1 v1 t1 k2 v2 t2) = Node B (Node R l k1 v1 t1) k2 v2 t2
164+--link l (Due k1 v1 t1 k2 v2 t2) = Node B (Node R l k1 v1 t1) k2 v2 t2
165+link l (Due k1 v1 t1 k2 v2 t2) = Node B l k1 v1 (Node R t1 k2 v2 t2)
166166
167167----------------------------------------------------------------
168168