λa b c d. let s = λa b c. let t = λx. a in (t c) (t b)
in s (λe. c (λf.e f) a b) (s d)