<div dir="ltr">Thank you. The reasons you provided make sense. I will have to do a bit of "refactoring". <div><br></div><div>I had also been thinking that monadic versions of folders might be helpful - and I had forgotten that this was already available using Monad.foldR. </div><div><br></div><div>Thanks!</div><div><br></div><div>####<br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Aug 31, 2015 at 2:02 PM, Ziv Scully <span dir="ltr"><<a href="mailto:ziv@mit.edu" target="_blank">ziv@mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I see two problems at least:<div><br></div><div>1) The type signatures (e.g. [colMeta] in the .urs file) haven't been updated to reflect the fact that the widget field will be a transaction.</div><div><br></div><div>2) The accumulating function passed to [foldR] doesn't treat its arguments like transactions. </div><div><br></div><div>A completely different approach might use something like Monad.exec or Monad.foldR. ).</div><div class="HOEnZb"><div class="h5"><div><br></div></div></div></blockquote></div></div></div></div>