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