[ghc-steering-committee] Explicit foralls

[Simon Peyton Jones]

Friends
I propose that we accept the Explicit Foralls proposal<https://github.com/ghc-proposals/ghc-proposals/pull/55>.

  *   No one objected
  *   It makes the language more expressive and uniform
  *   It fixes a long-standing ticket #2600
The only bump in the road is the double forall in RULES (see the Examples in the proposal).  But that's not Ricahrd's fault, and the proposed solution seems reasonable.
I move to accept.
Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20170825/9d26b938/attachment.html>