ArrayArrays

[Dan Doel]

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).

-- Dan