let
empty n =
List
.iter (remove n) (children n)