cabal check