It's quite ingenious but it's not as convenient as locally nameless representation for working underneath binders. In Haskell if you want to do variable binding

It's quite ingenious but it's not as convenient as locally nameless representation for working underneath binders. In Haskell if you want to do variable binding you ought to use the bound library[1]. It's been seriously used in at least one compiler project[2]. [1] https://hackage.haskell.org/package/bound https://hackage.haskell.org/package/bound [2] https://github.com/ermine-language/ermine https://github.com/ermine-language/ermine