Syncrhonize with Haskell wiki version

- Further reading: add link to Extensible Effects paper
- Composing monads: link to SO question