"Not in scope" errors should be more informative for qualified names.
E.g., if I have something like Maybe.maybeToList in a module, which does not have such an import, I get the following error:
Not in scope: ‘Maybe.maybeToList’
Which leads the user to conclude that the Maybe namespace does not contain the maybeToList element, instead of informing that the Maybe namespace is not imported altogether instead
Edited by Joachim Breitner