The main annoying thing in import lists for me at the moment is the proliferation of modules which one would like to import both qualified under some alias and to import a handful of names unqualified (especially infix functions and types). It would be nice if rather than

import qualified Data.Map as Map
import Data.Map (Map)
import qualified Data.Sequence as S
import Data.Sequence (Seq, ViewR(..), ViewL(..), (<|), (|>))

we could instead have some variation like:

import Data.Map qualified as Map, (Map)
import Data.Sequence qualified as S, (Seq, ViewR(..), ViewL(..), (<|), (|>))

I'm thinking something along the lines of the following:

impdecl -> import modid impspec_1, impspec_2, ..., impspec_n (n >= 0)
impspec -> ( import_1, ..., import_n [,] ) [impqual] (n >= 0)