<div dir="ltr"><span style="font-family:arial,sans-serif;font-size:13px">Hi everyone.</span><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">I am working on a proposal for some additions to the base library and some modifications to GHC in the same style as the do notation support for Applicatives. It is still very much a work in progress, but any input/constructive criticism would be greatly appreciated; this is the first one of these I've written.</div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Here is the proposal in its current form: <a href="http://blog.spacekitteh.moe/posts/new-monoidal-cats.html" target="_blank">http://blog.spacekitteh.moe/posts/new-monoidal-cats.html</a><div style="margin-left:4px;padding-bottom:2px;display:inline-block;width:16px;height:16px;background:url(chrome-extension://bhmmomiinigofkjcapegjjndpbikblnp/skin/fusion/16_16/plain/r0.png) 100% 50% no-repeat"> </div><br></div><div style="font-family:arial,sans-serif;font-size:13px"><br></div><div style="font-family:arial,sans-serif;font-size:13px">Thanks,</div><div style="font-family:arial,sans-serif;font-size:13px">Sophie Taylor</div></div>