Cabal contraints