Rinus Plasmeijer wrote: >One of the important limitations of existential typed structures is that the >>concrete type cannot be inspected from "outside". Is this a fundamental impossibility, or could the type-matching trick, used with Dynamics (doing a run time unification), just as well be implemented for Existential types? Greetings Erik Zuurbier