Cabal base bounds