Richard.  I’ve made a status page for levity polymorphism.

Everyone: tag levity-polymorphic tickets with “LevityPolymorphism” keyword.

We really need a GHC proposal too…

Simon

https://ghc.haskell.org/trac/ghc/wiki/LevityPolymorphism