25 Aug
2017
25 Aug
'17
2:15 p.m.
Friends I propose that we accept the Explicit Foralls proposalhttps://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