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

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