IO

eff IOSource

The Generic IO Effect.

The IO effect is the most general effect of any operation that interacts with the environment.