Describe State effect implementation
Describe exception and non-determinism effects
Add File effect implementation description