((42) (a))
(1)
((1 1) (2 3))