> I think I had an interesting idea, namely that Types, per se, are a case of > premature optimisation.
Using the least number of bits to represent something is a state space reduction and as much about correctness as it is about efficiency. And I don't believe in "premature correctness". ;-)
