Test monadic programs using state machine based models - View it on GitHub