(x: x x) (x, y: (z: z (z y)) (w: x w))
# v1, v2: v1 (v1 (v1 (v1 v2)))