(define atom?
  ; TYPE: datum -> boolean
  (lambda (datum)
    (not (pair? datum))))