Revised pretty-printing of function types.