Rename "levity polymorphism" to "representation polymorphism"?
As argued in the paper "Kinds are calling conventions", GHC's notion of "levity polymorphism" should be called "representation polymorphism". This was not an issue for a while, but since #17526 (closed), GHC supports the
Levity kind in addition to
This ticket is a proposal: let's change the existing references to levity polymorphism (in GHC documentation and comments) to "representation polymorphism", and use the term "levity polymorphism" only for
BoxedRep l (where
l :: Levity).