- let v = Y (\v g h x. (\f. A) (v g h)) in
- let w = Y ( \w h x. (\g. (\f. B) (v g h)) (w h)) in
- let h = Y ( \h x. (\g. (\f. C) (v g h)) (w h)) in
+ let v = Y (\v g h. (\f x. A) (v g h)) in
+ let w = Y ( \w h. (\g. (\f y. B) (v g h)) (w h)) in
+ let h = Y ( \h. (\g. (\f z. C) (v g h)) (w h)) in