[GHC] #9596: Create monoidal category framework for arrow desugarer

[GHC]

#9596: Create monoidal category framework for arrow desugarer
-------------------------------------+-------------------------------------
              Reporter:              |            Owner:  spacekitteh
  spacekitteh                        |           Status:  new
                  Type:  task        |        Milestone:  7.10.1
              Priority:  normal      |          Version:
             Component:  GHC API     |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Project (more
  Unknown/Multiple                   |  than a week)
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:  #7828
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 I urge you to document your design on a GHC Trac wiki page, including
 writing out all the typing and desugaring rules, before staring work on an
 implementation.  No sense in implementing something only to realise the
 design needs refinement!

 There is ongoing work in #7828, and you may want to talk to Jan Stolarek
 and Ross Paterson about it.  It would be a pity to have two competing
 patches!  Also it'll make it much easier for me (I find arrows difficult)
 if the arrows community is speaking with one voice about what they want to
 do.

 Of course, none of this is to stand in the way of you doing things in a
 fork of your own -- GHC is an open source project!  It's just that if you
 want your work to be absorbed into HEAD, then the above things become
 important.

 Thanks

 Simon

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9596#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler