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