8. The method of claim 7 , wherein generating the existential type with path abstraction that binds a type variable and a path variable further comprises: generating an approximated record type to be associated with a path type containing the type variable and the path variable.
8. The method of claim 7 , wherein generating the existential type with path abstraction that binds a type variable and a path variable further comprises: generating an approximated record type to be associated with a path type containing the type variable and the path variable. 9. The method of claim 8 , wherein the approximated record type comprises representation of at least one displacement to a virtual superclass, and the representation includes the type variable and the path variable bound by the existential type for which the approximated record type was generated.