. "That last is the type of f above, except for that IO. Why the IO?" . . .