Take a look at The Rapier in GHC: https://www.researchgate.net/publication/220676611_Secrets_of_the_Glasgow_Haskell_Compiler_inliner https://www.researchgate.ne

Take a look at The Rapier in GHC: https://www.researchgate.net/publication/220676611_Secrets_of_the_Glasgow_Haskell_Compiler_inliner https://www.researchgate.net/publication/220676611_Secrets_o... It employs a similar idea. Track the set of in scope variables and use them to unique variables on collision.