Closed yannbolliger closed 3 years ago
Generics become more important with type classes and evidence parameters, they need to be accessible in multiple places. To provide for that, we cache the generics in the extraction. This is a preliminary PR for #93 .
Generics become more important with type classes and evidence parameters, they need to be accessible in multiple places. To provide for that, we cache the generics in the extraction. This is a preliminary PR for #93 .