Write some Haddock documentation