Re: Preliminary proposal: Monoidal categories in base and proc notation support

On Mon, 2014-09-15 at 17:30 +1000, Sophie Taylor wrote:

Hi everyone.

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.

Here is the proposal in its current form: http://blog.spacekitteh.moe/posts/new-monoidal-cats.html

Hi Sophie, In your proposal draft, I am missing the rationale part. Do we need *all* of these classes in base in order to desugar proc? Can you demonstrate why they are needed? Or will something simpler suffice? Roman