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-boun...@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
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs