And the type checker is just surfacing that realit...
# general
g
And the type checker is just surfacing that reality.