My answer is no. If you expect the qualified imports, you still don’t need to scatter your records across separate modules. The disambiguation requires different module prefixes, not different source modules. So instead of
import qualified Library.Record1 as Record1
import qualified Library.Record2 as Record2
the user can say
import qualified Library(Record1(..)) as Record1
import qualified Library(Record2(..)) as Record2
with the same effect.