update_container (EDict d t1 t2) e1 e2 = EDict (M.insert e1 e2 d) t1 t2
update_container (EDict d t1 t2) e1 e2 = EDict (M.insert e1 e2 d) t1 t2
update_container (EDict d t1 t2) e1 e2 = EDict (M.insert e1 e2 d) t1 t2