I think I did it that way to avoid weird branching before lookups. But if we normalized all output types to unions, then we get the same effect