Dump renamer output with -ddump-rn for command-line entry in ghci