<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Nov 22, 2021, at 4:28 AM, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" class="">ghc-steering-committee@haskell.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta charset="UTF-8" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Calibri, sans-serif; font-size: 14.666666984558105px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">If some sponsor wanted to adopt it, and resource the development of the proposal and its implementation, as Tweag did for linear types (another “big” proposal), that would shift the calculus a bit. We could wait to see if/when that happens.</span></div></blockquote></div><br class=""><div class="">Yes, that seems about right. Though I originally thought I would get the proposal through the door, I knew I would not be the implementor, so the job was never going to be finished by me, anyway. Perhaps it makes sense for someone committed to do the implementation to finish it off.</div><div class=""><br class=""></div><div class="">The key thing for me is that there were several other proposals in this space, and I just thought there was a better design. I do think the design there is mostly good, with details to be filled in later.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Richard</div></body></html>