Tree.maximum implemented using Tree.fold