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