Haddock annotations for whole modules