Keep type information after compilation on generics

It would be great to have some type information left after the compilation process on both generic types and methods. I would propose that types be passed as hidden parameters to the generic method/ class constructor. The information is already available
at the call site so this would be pretty simple to accomplish.

This would enable scenarios, like creating new objects of the generic type.