ADT arguments and Levity Polymorphism

[Csaba Hruska]

Hello,

Are heap stored ADT's arguments always levity (representation) monomorphic?

*(I guess they are otherwise the info table would not be a constant value
instead it would be a function that calculates the representation depending
on some runtime value.)*

Regards,
Csaba Hruska
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200210/7103a73c/attachment.html>