> I would be curious about any references you have for that - the optimal decisions of the past are usually worth reconsidering. I am afraid I do not have much

> I would be curious about any references you have for that - the optimal decisions of the past are usually worth reconsidering. I am afraid I do not have muchon this. > multiple IR is prone to having strong common themes. I am optimistic that with enough fancy tricks (e.g. more type parameters) we can deduplicate. Fundamentally, I rather be very strict and proactive about totality / modularity / formally enforcing invariant, and more lenient/reactive about duplication. Regressions of the former sort are extremely subtle and require tons of hard thinking to resolve. Regressions of the latter sort are comparatively simply to identify and think about the problem. Seeing the commonalities in a bunch of similar things that we don't yet know how to abstract over it also a great way that practice can inform theory!