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

[Jason Dusek]

David Menendez <dave at zednenem.com> 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