whats the current state of runtime rep for ghc 8 onwards?

[Carter Schonwald]

i was reading https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds
and looking at some of the applicable code, and it looks like i can't
quantify over ptr-y heap values that may or may not be lifted, at least
with the current state of play, is this correct?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160404/658a97ae/attachment.html>