I'm a big supporter of this proposal. It fills out an important corner of GHC's design, and cleans up a couple of mis-features.
Simon
| -----Original Message-----
| From: ghc-steering-committee On
| Behalf Of Joachim Breitner
| Sent: 13 August 2021 19:27
| To: ghc-steering-committee@haskell.org
| Subject: [ghc-steering-committee] Please review #425: Invisible binders in
| type declarations, Shepherd: Richard
|
| Dear Committee,
|
| this is your secretary speaking:
|
| Invisible binders in type declarations
| has been proposed by Vladislav
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com
| %2Fghc-proposals%2Fghc-
| proposals%2Fpull%2F425&data=04%7C01%7Csimonpj%40microsoft.com%7C5671f4de
| 1bf5451aaf9308d95e87ff72%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637644
| 760501359253%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJ
| BTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=QNAhYaueY8UcOdTDhG2GDw13K7F%2F1
| 5fIrW6kppM2%2FYc%3D&reserved=0
|
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com
| %2Fserokell%2Fghc-proposals%2Fblob%2Fdecl-invis-binders%2Fproposals%2F0000-
| decl-invis-
| binders.rst&data=04%7C01%7Csimonpj%40microsoft.com%7C5671f4de1bf5451aaf9
| 308d95e87ff72%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63764476050136925
| 3%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haW
| wiLCJXVCI6Mn0%3D%7C1000&sdata=od3ToisQe2BKfSZp76pkW%2F2IvBrRsVyZ8vuw80on
| S2Q%3D&reserved=0
|
| I propose Richard as the shepherd, simply because he already scrutinized the
| proposal on Github.
|
| Maybe that is a bit unfair: One could find it unfair towards other committee
| members that they get fewer proposals assigned. Or unfair towards Richard
| that he gets penalized for engaging with the community.
| Up to your point of view. Best way to fix that would be if more committee
| members are actively engaging with proposals even before they are being
| submitted.
|
| Please guide us to a conclusion as outlined in
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com
| %2Fghc-proposals%2Fghc-proposals%23committee-
| process&data=04%7C01%7Csimonpj%40microsoft.com%7C5671f4de1bf5451aaf9308d
| 95e87ff72%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637644760501369253%7C
| Unknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLC
| JXVCI6Mn0%3D%7C1000&sdata=T1orp07jrnmhysYLOdJkBMr6LsplTvreBFEZr%2BJSzsw%
| 3D&reserved=0
|
| Thanks,
| Joachim
|
| --
| Joachim Breitner
| mail@joachim-breitner.de
|
| https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim
| -
| breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C5671f4de1bf5451a
| af9308d95e87ff72%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63764476050136
| 9253%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1
| haWwiLCJXVCI6Mn0%3D%7C1000&sdata=jSE8lx2MigdPN88%2BnvLCV7qacP6lQXimtR9pp
| BhfwV0%3D&reserved=0
|
|
| _______________________________________________
| ghc-steering-committee mailing list
| ghc-steering-committee@haskell.org
| https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske
| ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
| committee&data=04%7C01%7Csimonpj%40microsoft.com%7C5671f4de1bf5451aaf930
| 8d95e87ff72%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637644760501369253%
| 7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwi
| LCJXVCI6Mn0%3D%7C1000&sdata=yDQB3aAPAQqy1KQYTNJ7g7fH4EJhxFGtt8Z7ijgpBAI%
| 3D&reserved=0
Joachim Breitner
Simon Peyton Jones