[zwerdlds]

The question is, what is the order of the mistake. When you have two, is it linear ($2b), quadratic ($1e18), or exponential?

[voobster]

Probably logarithmic due to diminishing returns. Having 20 nullish types isn't much worse than having 2. The biggest difference is going from 0 to 1.