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