haskell - La reescritura como una técnica de optimización práctica en GHC: ¿Es realmente necesaria?