quickcheck-state-machine-0.9.0: Test monadic programs using state machine based models