O tipo de dados Core do GHC representa a recursão com os fichários recursivos no construtor Let ; Pelo que entendi, todas as expressões let no Haskell são efetivamente let rec expressões. Por que o GHC usa esse método para representar a recursão em vez de um operador de ponto de ajuste atômico?