Functional Programming Input/Output (Distinguished Dissertations in Computer Science, Band 8)