शून्यताThis is important, since dead code can ruin the sharpness of our type deductions. (h g b)
| Another inference algorithm would have to be __much__ smarter than the #Nimble algorithm in order to determine better range information.
weird flex, aber okay.