As long as things are polymorphically sound, I don't see the problem. If you don't know what kind of thing you're dealing with, you'll have trouble. That happens today, and it's really hard to get away from that.

Do you have a code example that shows this? I'm afraid I don't see the big deal.