+ Do not inline diffusion
+ Used the Reader monad transformer to get rid of the "options" tramp data (passed to ss_cg in order to pass it to diffusion)
+ Decreased performance (~10%)