> I would claim it has really nothing to do with first-class modules
> or parameterized modules. They can be simulated by ordinary Haskell
> data types with named fields.
No they can not.  Haskell records do not allow local polymorphism,
so you have a significant loss of power.

        -- Lennart



Reply via email to