Point-free

Point-free coding is a byproduct of adopting declarative programming. You can use point-free coding without FP. But because point-free is all about improving the readability of code at a glance and making it simpler to parse, having the guarantees imposed by FP furthers this cause.

Hence, what are the (hopefully natural) conditions under which they do hold? All this calls for studying the point-free separation.