actually implement "fixing letrec"