<div dir="ltr"><div>Hello,</div><div><br></div><div>Proposal #281 has been submitted for review by the committee again, please read through it and let's have a discussion.   Here are links to the proposal's discussion section, and the proposal text:</div><div><br></div><div><a href="https://github.com/ghc-proposals/ghc-proposals/pull/281">https://github.com/ghc-proposals/ghc-proposals/pull/281</a><br></div><div><a href="https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/0000-visible-forall.rst">https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/0000-visible-forall.rst</a><br></div><div><br></div><div>While I suggested acceptance on the previous version, I am leaning towards rejecting the proposal  now.  My reasoning is that I hadn't fully understood all the aspects of the original proposal, and the new proposal seems to lack a simple modular specification.  There are *many* changes described in the document,  but I found it hard to understand what is the current design, from the point of view of a user of the feature, as opposed to someone trying to implement it.</div><div><br></div><div>I'd be curious about what others think.</div><div><br></div><div>-Iavor</div><div><br></div><div><br></div></div>