> Unlikely to happen. I have bigger plans with concepts, RFC will come soon.
I guess it will be something like ADTs - or better - GADTs. With GADTs, it becomes even possible to model existential types. By the way, Function type signatures and GADT signatures are surprisingly close - and a GADT is basically a named list of signatures. What about Vtables? Are these fruits hanging to high? smth that fits better for NIM 2.0 ?
