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