(cons (atom? 'a)
      (atom? '(1)))