Ach, the comment is wrong. `default` cannot be `EmptyTree` in a `Match`.