Do you still need `.map((Tree t) => t.pretty)` now that `Tree` extends `Pretty`?