This is how I decompose, analyze and reproduce qio-haskell as well as monad-bayes packages, trying to figure out the idea behind them.

Those packages share a common strategy to let Monad handle computational effect.