|
|
|
|
|
|
by rowanG077
1038 days ago
|
|
|
You could make an intermediate step that's only used during type checking which may have partial type information. Then after type checking you lock it down. You can even have HLists but then you are also pretty far along the Ivory tower. I don't think that's worth it. |
|
|