This is not about surface level typing. This is about compiler internals.