On 2024-04-02 16:25, Simon Peyton Jones wrote:
Dear GHC Steering Committee
Vlad proposes to amend proposal #425 https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0425-de...to permit more wildcard binder forms in type declarations: https://github.com/ghc-proposals/ghc-proposals/pull/641
See my mail below. I recommend, fairly strongly, to park this until there is evidence of need.
- it's an unforced change, - with no user demand - but some real user impact (notably: it will break some TH users) - and some implementation cost (modest but very non-zero) - aiming to anticipate as-yet-unknown future requirements -- but YAGNI https://martinfowler.com/bliki/Yagni.html
I think it's time to vote. Please so before Monday morning. Thank you!
Since my arguments in favor of the proposal convinced you of this position I am fine with your recommendation, though mainly undecided. Best Malte