GHC is not beta optimal, due to some complications around what happens when a closures are created. (This is `HOW.md` claims)