Plans to bring FBIP/FP2 in Haskell?

Correct.

Though it’s okay to have global recursive thunks because they don’t have a reference count. Right now my plan is to use lambda lifting to rewrite all recursive let bindings into global let bindings.