The constraints of the borrow checker do not make tree structures harder to get right! They just force you to get it right!