Remove all sources of impurity

[vasilmkd]

Now we can move away from mutable Kleisli.

[djspiewak]

LOL is this better than having a separate layer in the transformer stack? It definitely gets rid of the impurity and I'm a fan of that. I'm just trying to think about the implication of merging the algebra in this way.