OK, I have fixed my problem, without forcing all my users to upgrade to GHC 7: using the renamed source instead of the typechecked source gives me the properly qualified name. I hope that won't cause other problems but for the moment everything looks fine (functions, constructors, with type classes or not, with qualified imports all seem to work).