Hello all, I've written a new wiki page about how knot tying works in GHC: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TyingTheKnot Please let me know if anything is unclear and I'll try to revise it for more clarity. Edward