David Feuer <david.feuer@gmail.com> writes:

> But how do I have to build something like "openAlphaTyVar" for TYPE
> 'UnliftedRep in the primitive space? I don't understand the toolkit.
>
I'm not sure I understand the question. openAlphaTyVar is defined in
TysPrim. Perhaps looking there will clear up the confusion.

Cheers,

- Ben