Obtaining a value that was supposed to be erased at run time...

Erased arguments in type constructors...