Marcin 'Qrczak' Kowalczyk <qrczak at knm.org.pl> writes:
> > I've always liked the idea of saying 'class C' or 'type T' in
> > import/export lists.
>
> Type signatures too should be allowed in export lists.
Both ideas already noted at
http://haskell.galois.com/trac/haskell-prime/wiki/ModuleSystem
Regards,
Malcolm