Agreed. a b c d is a function applied to three arguments that returns a value. Functions are values, that's the whole point. For some reason it seems parent po

Agreed. a b c d is a function applied to three arguments that returns a value. Functions are values, that's the whole point. For some reason it seems parent post would like to specifically indicate the case where a function application results in a value that is specifically not a function? Seem quite strange to me.