@@ -241,6 +241,7 @@ treeMap f (Branch2 t1 k t2) = Branch2 (treeMap f t1) k (treeMap f t2)
241treeMap f (Branch3 t1 k1 t2 k2 t3)
241treeMap f (Branch3 t1 k1 t2 k2 t3)
242 = Branch3 (treeMap f t1) k1 (treeMap f t2) k2 (treeMap f t3)
242 = Branch3 (treeMap f t1) k1 (treeMap f t2) k2 (treeMap f t3)
244implementation Functor (SortedMap k) where
245implementation Functor (SortedMap k) where
245 map _ Empty = Empty
246 map _ Empty = Empty
246 map f (M n t) = M _ (treeMap f t)
247 map f (M n t) = M _ (treeMap f t)