#3362: Adding a newtype EndoCategory to Control.Category
------------------------------+---------------------------------------------
 Reporter:  r6                |          Owner:                  
     Type:  proposal          |         Status:  new             
 Priority:  normal            |      Milestone:                  
Component:  libraries/base    |        Version:  6.10.2          
 Severity:  normal            |     Resolution:                  
 Keywords:                    |       Testcase:                  
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
------------------------------+---------------------------------------------
Comment (by r6):

 class Monad m where[[BR]]return and Kleisli compose[[BR]]must form a
 monoid

  by lilac

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3362#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to