24 May
2016
24 May
'16
4:22 a.m.
Ben Gamari
As far as I understand as long as the existentially-quantified argument is unconstrained (therefore there is no need to carry a dictionary) and of kind * (therefore has a uniform representation) there is no reason why unpacking shouldn't be possible.
To clarify, as pointed out in #10016 it should also be possible to unpack in the constrained case. You merely need to retain a spot in the datacon's representation to place the dictionary. I hope this helps. Cheers, - Ben