let cons = (a, b) =>  
  (pick) => pick == 1 ? a 
                      : pick == 2 ? b 
                                  : "error";
let car = (x) => x(1);  
let cdr = (x) => x(2);  

What if we could build pairs out of nothing at all?