Update Haddock documentation
Copy example to README.md, too.