Hmm. No, its not about making it strict -- (!) already does that. It is about changing the representation entirely, so that you get specialized code and data fo

Hmm. No, its not about making it strict -- (!) already does that. It is about changing the representation entirely, so that you get specialized code and data for every different type, rather than reusing slower, general purpose functions. The code examples show the different, as do the pictures of the heap. This is some kind of extremely aggressive, but uniform, specialization.