Look at the C++ templates, I think that some of the clusterfuck that is C++ template compiler errors would go away if templates were type aware.