<div dir="auto">I see the definition, but I don't understand it, so I don't know how to adapt it to the less-polymorphic version I need.</div><br><div class="gmail_quote"><div dir="ltr">On Tue, Aug 21, 2018, 4:14 PM Ben Gamari <<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</a>> writes:<br>
<br>
> But how do I have to build something like "openAlphaTyVar" for TYPE<br>
> 'UnliftedRep in the primitive space? I don't understand the toolkit.<br>
><br>
I'm not sure I understand the question. openAlphaTyVar is defined in<br>
TysPrim. Perhaps looking there will clear up the confusion.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
</blockquote></div>