Wrangling lazy tuples chapter

[doyougnu]

this might be a section in a future excessive allocation chapter

[doyougnu]

good example of why this is so often hard: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/9868#note_478265