(datatype list
  (:nil)
  (:cons 'a (list 'a)))

'((1 2) (3 4))