you can abstract IO and async'ness from the implementation, and model it as a pure function. Then build and inspect the state space. A detailed description was done here:

https://incubaid.wordpress.com/2012/10/25/caulking-your-dist...