runCommand -package:wai-app-static -package:graphviz -package:process -package:mongoDB -package:shake-plus -is:exact package:quickcheck-state-machine