Preliminary proposal: Monoidal categories in base and proc notation support

[Roman Cheplyaka]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140915/b8d19e54/attachment.sig>