PR !4#18470: perf: lower the priority of `Normed*.to*` in...

Stream: triage

[Random Issue Bot]

Today I chose PR #18470 for discussion!

perf: lower the priority of Normed*.to* instances
Created by @Yuyang Zhao 赵雨扬 (@FR-vdash-bot) on 2024-10-30
Labels: merge-conflict, t-analysis, t-algebra, slow-typeclass-synthesis

Is this PR still relevant? Any recent updates? Anyone making progress?