[(cons  (\x (\y (\s ((s x) y)))))
 (nil   (\x #t))
 (nil?  (\p (p (\x (\y #f)))))
 (head  (\p (p #t)))
 (tail  (\p (p #f)))]
; TODO pairs, lists with "obvious" end.