de akkor, adott példában mégiscsak tudja a C2, hogy az XYZ interfészből hány implementáció van betöltve. classloadkor deop meg most is van.
tehát még mindig ott járunk, ahonnan kiindultunk: a fordító tudHATná, hogy egy f(x) függvényhívás biztosan pure.