github.com/ghc-proposals/ghc-proposals/pull/155

I know potato44 has already seen this so the rest of you might have as well, but I'm pretty interested in this new proposal.

I think I posted the paper about that in here a few weeks ago

this message and the one after it. This proposal is the appendix B I was talking about