Selon Vincent Hanquez <tab@snarc.org>:
> On Fri, Feb 08, 2008 at 12:17:29AM +0900, Jacques Garrigue wrote:
> > And [polymorphic variants] _cannot_ pollute any namespace,
> > since they define nothing.
> they "pollute" since the polymorphic variant namespace is flat, and
> don't interact with module (on purpose obviously)

Could you please expand on this "pollution" and the *practical* problems it
causes? I can see the risk of my own identifiers clashing with those of a
library, and that finding documentation when the namespace is flat is harder.
But none of these seem applicable for polymorphic variants, so I feel like I'm
missing something.

-- 
Ronan