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

[GHC]

#9596: Create monoidal category framework for arrow desugarer
-------------------------------------+-------------------------------------
       Reporter:  spacekitteh        |                   Owner:
           Type:  task               |  spacekitteh
       Priority:  normal             |                  Status:  new
      Component:  GHC API            |               Milestone:  7.10.1
       Keywords:                     |                 Version:
   Architecture:  Unknown/Multiple   |        Operating System:
     Difficulty:  Project (more      |  Unknown/Multiple
  than a week)                       |         Type of failure:
     Blocked By:                     |  None/Unknown
Related Tickets:                     |               Test Case:
                                     |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
 I'm going to put it into a GHC namespace (GHC.Arrows.Experimental,
 perhaps) and put instances for Arrow and such in there as well. In a later
 ticket I'll work on the desugarer, converting erverything into SMC
 combinators rather than Arrow combinators.

 The basic design is [blog.spacekitteh.moe/posts/new-monoidal-cats.html
 here]

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