#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 spacekitteh): Will do, Simon! I'm just throwing together a quick preliminary design to put up there. Ironically, I need injective type families to provide some of the nicer things such as automatic instances for when symmetric categories implement a left or right class; the compiler gets upset at the ID type family for the monoidal category. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9596#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler