[Haskell] Boxing (Day) Question

[Niklas Sorensson]

>> I can imagine that it is akward to delay code generation until all uses
>> of a function are known, and that in some cases there may be infinitely
>> many instances needed. But apart from that, what are the reasons
>> against this implementation technique?
>
> What made you think that this technique isn't used?

I'm not sure. It seems I didn't hear it from any official sources
at least :)

> It is used in GHC. However, there are cases where it can't be used, most
> notably with polymorphic recursion, existential types or higher-rank
> polymorphism.

That's what I thought. But I'm still curious when it is used, and why
it isn't a suitable solution for unboxed polymorhic functions in most
cases.

/Niklas