Dec. 20, 2019
6:13 a.m.
Hi Zac, I'm not super familiar with the details of the runtime support for type variables etc., but in principle this definitely seems doable! I will definitely reach out when we're working on that side of the implementation for test cases/prototype testing etc. Glad to hear that you're interested! Best, Mark