add doc and check cabal