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