comments, docs, cabal check fixes