Writing effect handlers for a library which pervasively uses IO.