Improving the pretty-printing of function definitions (to avoid unnecessary lambda-expressions)