[Ur] Interplay between the signal monad and the transaction monad

[Stefan Scott Alexander]

Thank you Adam. I think that what I'm realizing here is that I should still
always also consider the *desugared* version of the monadic notation, in
order to remind me of the bindings and the scopes.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150817/c11deb2d/attachment-0001.html>