The Static Argument Transformation Chapter

[doyougnu]

sgraf to the rescue: https://pp.ipd.kit.edu/uploads/publikationen/graf19sll.pdf

[doyougnu]

make sure the chapter has a discussion around join points since join points tilts the scales in GHC towards SAT over lambda lifting. See haskell/bytestring#273 (comment)