#9674: Foldable doesn't have any laws -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: ekmett Type: task | Status: new Priority: normal | Milestone: 7.12.1 Component: Core Libraries | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: #10063 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by gershomb): Also c.f. the proposed law here, pending discussion and tweaking: https://www.haskell.org/pipermail/libraries/2015-February/024943.html -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9674#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler