Comonads in base library
Comonads are useful as heck, and should be in the base library. This could allow codo notation (e.g. https://www.cl.cam.ac.uk/\~dao29/publ/codo-notation-orchard-ifl12.pdf ) in the future.
It shouldn't be hard at all to do - just basically copy Edward's comonad package :)
Trac metadata
| Trac field | Value |
|---|---|
| Version | |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Core Libraries |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | core-libraries-committee@haskell.org |
| Operating system | |
| Architecture |