udpate cabal file with correct deps
fix type error with add