Dan Doel dan.doel at
Mon Sep 7 21:23:38 UTC 2015

On Mon, Sep 7, 2015 at 4:16 PM, Edward Kmett <ekmett at> 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).

-- Dan

More information about the ghc-devs mailing list