Introduction of existential types, e.g. on the module level.

Reply via email to