Traduciamo per passi, andando agni tanto a fare qualche riduzione
per semplificare il risultato.


  (def c1 x1 = 
   (def c2 x2 = x1!x2          
                    
                (def d1 y1 =
                        (def  d2 y2 =  y1!y2
                                      d2! [“soothe” c2] )
                     d1!double
                    ) 
          ) 
     

 
          
 (def c2 x2 = print!x2          
                    
                (def d1 y1 =
                        (def  d2 y2 =  y1!y2
                              d2! [“soothe” c2] )
                     d1!double
                    ) 
          ) 







(def c2 x2 = print!x2          
             
        (def  d2 y2 =  double!y2
             d2! [“soothe” c2] )
                    
          ) 








(def c2 x2 = print!x2          
       
                                
        +$![“soothe” “soothe” c2]
                    
          ) 


