The freshness premise of Ty_LamIrrel is missing from CoreLint #6
Description
In doing the type safety proof, I discovered an extra condition which needs to be added to GHC's CoreLint to make sure that there is no skolem escape in foralls. Behold the power of math!