Would this also benefit non-top-level thunks? We had a ridiculous space-leak at DFINITY just last month where the workaround I found involved turning off full-

Would this also benefit non-top-level thunks? We had a ridiculous space-leak at DFINITY just last month where the workaround I found involved turning off full-laziness [1] as well as using a variant of `Control.Monad.forever` defined in terms of `(>>=)` rather than `(* >)` - which is how `Control.Monad` does it, which interacted badly with how Conduit implements `(>>=)` and `(* >)`. We never got to the bottom of exactly why it leaked but I'll be sure to try it out again with GHC 8.6. However it's not clear that long-lived CAF data would have been the problem in our case. [1] https://www.well-typed.com/blog/2016/09/sharing-conduit/ https://www.well-typed.com/blog/2016/09/sharing-conduit/