inserted haddock documentation comments