entrytree_remove_ et (l:ll) =
    (\(et_, el) -> (et_, e:el)) $ entrytree_remove_ et2 ll
    where
        (et2, e) = entrytree_replace_f et l (\e_ -> ([], e_))
entrytree_remove_ et (l:ll) =
    (\(et_, el) -> (et_, e:el)) $ entrytree_remove_ et2 ll
    where
        (et2, e) = entrytree_replace_f et l (\e_ -> ([], e_))
entrytree_remove_ et (l:ll) =
    (\(et_, el) -> (et_, e:el)) $ entrytree_remove_ et2 ll
    where
        (et2, e) = entrytree_replace_f et l (\e_ -> ([], e_))