let  rec  f'1 =λ f2. λ f3. λ x                let  f1 = f'1  f2  f3  in  
                  a1 
 in 
let  rec  f'2 =λ f3. λ x                let  f2 = f'2  f3  in  
                  let  f1 = f'1  f2  f3  in  
                  a2 
 in 
let  rec  f'3 =λ x                let  f3 = f'3  in  
                  let  f2 = f'2  f3  in  
                  let  f1 = f'1  f2  f3  in  
                  a3 
 in 
a