"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