let rec mk_proj i a =
  if i <= 0 then 
    mk_car a 
  else if i = 1 then 
    mk_cdr a
  else 
    mk_cdr (mk_proj (i - 1) a)