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?