However, when building functions with combinators it's clearer to use bound lambdas along the way: \I = (S C C) \U = (S I I) \R = (S (C S) C) \Q = (S R (C U

However, when building functions with combinators it's clearer to use bound lambdas along the way: \I = (S C C) \U = (S I I) \R = (S (C S) C) \Q = (S R (C U)) \Y = (S Q Q)