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