GHC Haskell中的泄漏是否可以固定？

Question

当我了解Haskell时，给人的印象是surprising space leaks（also here）是采用的最重要障碍之一。

我尚不清楚是否总是可以重写任何程序，以使它不会因其他所有条件相等而遭受空间泄漏。