correct cabal testing