For example, I have a module which has a toplevel function which returns a Text.Parsing.Parsers.Pos.Position which isn't annotated with a type. The hint that appears with the warning says the inferred type was forall t11. t11 -> Position, however, if I write that verbatim, I get a type error "Unknown type Position".

Could we make it so that it if the type isn't already in scope, it gets qualified? So it could print the inferred type as Text.Parsing.Parsers.Pos.Position in this case.