Re: [Haskell-cafe] Qualified import syntax badly designed (?)

David Menendez wrote:

I've often thought it would be for Haskell to steal Agda's module syntax. It does pretty much everything you want (plus some other stuff we maybe don't need) and the various things it does fit together logically.

What does that look like? I've been looking for some kind of documentation for ~20 minutes and I still can't find an example of an import. -- _jsn