The Type Inferrence works great, but a small change can break everything. So by adding more type tests, we could prevent this from happing.