Shouldn't you add an `if` if `default` can be `EmptyTree`?