Draft: Introduce and use RoughMap
This introduces a new data structure, RoughMap
, implementing an approximate finite map over Type
s. We then use this structure to represent class instance and type family instance environments. This addresses #19703.
To do
-
Write Note describing structure -
Characterise compile-time effect -
Reconsider eta expansion approach -
Sort out determinism story