Use cabal sandbox; Fixed test cases