私も >>534 で最適化に期待したいと言ってしまったので悪いが、
なんだか話がちょっと飛躍しそうなんで戻す。

そもそもの質問はどのように最適化されるかではなくて、
>>530 の最後の方の文をくりかえすと、

> 前者の効率性を重視しながら後者の堅牢性に近づける方法、あるいは
> 後者の堅牢性を重視しながら前者の効率性に近づける方法はないだろうか。

なんだが、答えは「無い ==> 最適化を期待しろ」 という理解でいいんだろうか。

この答えがまだ得られていない。
この理解が正しいと確定してから、GHC のソースを読むなり、
C 言語に変換するなりして最適化の仕組みを調べる作業に入りたい。

やはり、安易に最適化に期待するよりは、
プログラムで何とかするよう努力したほうがいいような気がする。