First Class Modules? was Re: Are anonymous type classes the right model at all?

[Adrian Hey]

Hello,

All this talk about Haskell classes, ML modules and improved record types
reminds me of the rumours of a "First Class Modules" system for Haskell,
but the only documentation I found was a fairly brief document that looked
like an application for a research grant. So...

Could somebody explain what a first class module is?
How does it differ from a record?
What could I do with a first class module (if Haskell provided them)?

Thanks
-- 
Adrian Hey