Report question

Question: Why does the pointfree version of this function look like this?