add dataCast{1,2} to Data instances of Data.Set, Data.Map, etc.
Adding
dataCast1 = gcast1
to the Data instances of Data.Set and Data.IntMap and
dataCast2 = gcast2
to the Data instance of Data.Map
would be handy.
I can't see any reason not to; it doesn't break the abstraction and it allows Set and Map to be used with SYB functions like ext1Q and friends.
There are probably other data types that could benefit from this too.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.4.1 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | libraries/base |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | Unknown |
| Architecture | Unknown |