(define tuple -> [lambda x [lambda y [lambda z [[z x] y]]]]) (define first -> [lambda x [x (t)]]) (define second -> [lambda x [x (f)]]) (aor+ [(first) [(tuple) a b]]) (aor+ [(second) [(tuple) a b]])