GHC optimization opportunity? (from Monad of No Return thread)

[jaror]

@rhendric

Then, all we have to do is notice that the go1 marked with -- LOOK HERE is the identity function (unless we are -fpedantic-bottoms). This is again probably an issue because go1 is also recursive, but GHC already does this sort of thing for non-recursive functions.

See #22902: Optimization opportunity: hidden identity functions. · Issues · Glasgow Haskell Compiler / GHC · GitLab