square blue or round yellow pillow.

square -> ADJ: lambda x. square(x)
blue -> ADJ: lambda x. blue(x)

square -> N/N: lambda f. lambda  x. f(x) / square (x)
blue ->  N/N: lambda f. lambda  x. f(x) / blue (x)

lambda x. [ lambda f. lambda  x. f(x) / blue (x) ] (x) / square (x)

lambda z. [ lambda f. lambda  x. f(x) / blue (x) ] (z) / square (z)

lambda z.  lambda  x. z(x) / blue (x)  / square (z)

lambda z.  lambda  x. z(x) /   square (x)  /   blue (x)