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