typo: QualifiedModules should not be plural
extract from where
prelude implicitly imports Prelude

unless NoImplicitPrelude requests otherwise.

But in that case (of if the prelude is imported qualified), the code we
generate around the user's expression doesn't compile!