I like the proposal as it stands.

El jue., 15 oct. 2020 a las 20:09, Spiwack, Arnaud (<arnaud.spiwack@tweag.io>) escribió:

In
particular excited about the ability to locally open a module
(something that I began to like when writing Ocaml).

It is also one of my favourite features in Ocaml. It's a fairly recent addition to Ocaml (10ish years ago, I would say?), and I believe it's fair to say that it had a profound impact on coding style throughout the community. For the better in my opinion.
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee