Study implications of a wildcard type

[stanhebben]

For integration with Java, it would be good to have a wildcard type. Would it be possible to do so, and what are the implications? Which changes do we need for that to happen?