ADT arguments and Levity Polymorphism

Richard Eisenberg rae at
Mon Feb 10 21:30:34 UTC 2020

> On Feb 10, 2020, at 8:48 PM, Csaba Hruska <csaba.hruska at> wrote:
> 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.)


Happy to expand, but it seems you have the number on this one.


> Regards,
> Csaba Hruska
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list