RE: Importing, hiding, and exporting

[Simon Peyton-Jones]

> OK, then I'll rephrase my question: What's the rationale of throwing
> different namespaces together in the hiding clause?

Maybe they shouldn't be -- but if not, then

        hiding( Ding )

would hide a type constructor or class Ding, but not a constructor Ding,
which is arguably odd.  But equally arguably H98 should treat export
and hiding clauses alike.  I'm not going to defend this, but that's the
way it is specified.

Simon