Matt Might has a pretty good article[0] on the subject (actually has a bunch of good articles if you poke around on his site) where he discusses this. [0] http

Matt Might has a pretty good article[0] on the subject (actually has a bunch of good articles if you poke around on his site) where he discusses this. [0] https://matt.might.net/articles/compiling-up-to-lambda-calculus/ https://matt.might.net/articles/compiling-up-to-lambda-calcu... —edit— This article has a good example in the ‘core language’ section -> https://matt.might.net/articles/desugaring-scheme/ https://matt.might.net/articles/desugaring-scheme/