((x: (x (x a))) (y: y))