Reified Lambda Functions

[Neal Gafter]

Am I to understand that List<#String()> is always represented as
List<Callable$0<String>>, so that pulling something out of such a list
always requires the invocation of one of your cast operation?

If so, it would appear that the cast operation is "inventing" type
information out of thin air from unreified data, and doing so where
(in the presence of heap pollution) that data is incorrect.  Is that
right?

-Neal