Sophie

I’m guessing that the primary audience for your proposal is the Core Libraries Committee, rather than GHC itself.  I’m cc’ing them.

So far as GHC is concerned, there is a long-running ticket #7828 that your proposal may bear on.  I am not satisfied with GHC’s treatment of arrows; it is complex and I do not fully understand it myself.   If you were able to join in the effort to simplify and modularise the story, that would be great.

Simon

From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of Sophie Taylor
Sent: 15 September 2014 08:31
To: ghc-devs@haskell.org
Subject: Preliminary proposal: Monoidal categories in base and proc notation support

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

Thanks,

Sophie Taylor