entrytree_insert et (Before loc) eins =
    (fst $ entrytree_replace_f et loc $ \e -> (eins ++ [e], ()), loc_before loc)
entrytree_insert et (Before loc) eins =
    (fst $ entrytree_replace_f et loc $ \e -> (eins ++ [e], ()), loc_before loc)
entrytree_insert et (Before loc) eins =
    (fst $ entrytree_replace_f et loc $ \e -> (eins ++ [e], ()), loc_before loc)