dan.doel at gmail.com
Mon Sep 7 21:23:38 UTC 2015
On Mon, Sep 7, 2015 at 4:16 PM, Edward Kmett <ekmett at gmail.com> wrote:
> 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).
More information about the ghc-devs