7 Sep
2015
7 Sep
'15
5:23 p.m.
On Mon, Sep 7, 2015 at 4:16 PM, Edward Kmett
Notably, it'd be interesting to explore the ability to allow parametricity over the portion of # that is just a gcptr.
Which is also a necessary part of Ed Yang's unlifted types proposal. This portion of # becomes the `Unlifted` kind, and it should be possible to have parametric polymorphism for it (and if that isn't stated outright, several things in the proposal assume you have it). -- Dan