Il tipo di dati fondamentali di GHC rappresenta la ricorsione con i raccoglitori ricorsivi nel costruttore Let
; a quanto ho capito, tutte le espressioni let
in Haskell sono effettivamente espressioni let rec
. Perché GHC usa questo metodo per rappresentare la ricorsione invece di un operatore di fixpoint atomico?