Track down and bug-report the simplifier coerce problem, and re-enable the RULES when appropriate. #2
{{ message }}
Track down and bug-report the simplifier
coerce problem, and re-enable the RULES when appropriate. #2
https://github.com/awpr/fin-vec/blob/main/short-vec/src/Data/Vec/Short/Internal.hs#L492