Case expansion when constructors aren't in scope

[imeckler]

Suppose

f :: Int -> ()
f x = _

Then CaseOn x results in

f :: Int -> ()
f x = case x of
  GHC.Types.I# i# -> _

This shouldn't happen since the constructor is out of scope. Give a suggestion to add the necessary import in the info box (or perhaps do it automatically).