[ghc-steering-committee] Please review #425: Invisible binders in type declarations, Shepherd: Richard

[Simon Peyton Jones]

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 <ghc-steering-committee-bounces at haskell.org> On
|  Behalf Of Joachim Breitner
|  Sent: 13 August 2021 19:27
|  To: ghc-steering-committee at 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 at 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 at 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