Type information is useful at times, and I like for a way to infer that information. Generics provide that, but is too heavyweight of an approach and also leads to an illusion of type safety when it provides none. If all we care about is type information, there's gotta be a better way to realize that.
Brian gives a good example where having the type information can be useful—How
Generics can pay dividends. But, is that a dividend or is it a tax allowance?
Are Generics the best way to get type information/type inference or should there be
a lightweight, better way?
