Effect and Defunctionalization in I/O Computations - Effect Community