Add more coercion rules
Open
Map
performance
Set
- Dominant language
- Haskell
- Stars
- 355
- Forks
- 194
- Avg merge
- 3d 4h
- Merged PRs (30d)
- 4
Description
`mapMonotonic coerce = coerce` and `mapKeysMonotonic coerce = coerce`, or so.
Contributor guide
Assessment
This issue has not been assessed yet.