cabal simplification