<div dir="ltr">i was reading <a href="https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds">https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds</a><br><div>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?</div></div>