snd -package:termonad -package:LambdaHack -is:exact package:quickcheck-state-machine