[ghc-steering-committee] Please review #378: Support ergonomic dependent types, Shepherd: Simon PJ

[Joachim Breitner]

Dear Committe,

Support ergonomic dependent types
has been proposed by Richard Eisenberg
https://github.com/ghc-proposals/ghc-proposals/pull/378
https://github.com/goldfirere/ghc-proposals/blob/dependent-types/proposals/0000-dependent-type-design.rst

This is a meta-proposal, aimed at refining our criteria when evaluating
proposals, and wants us to confirm that we take compatibility with a
future world where Haskell gains more dependently typed features into
account, and welcome changes that we would likely reject if we did not
expect to move towards that future.
(My rephrasing, please have a look at least at “Motivation” and
“Proposed Change Specification”).

We might need more of a Moderator than a Shepherd here… I propose that
Simon PJ leads us to a decision here. I know that Simon has a strong
opinion on this already and might not be a “neutral moderator”. But
opinions are not a bad thing per se, and I think this questions
requires Chair-level involvement.



Please guide us to a conclusion as outlined in 
https://github.com/ghc-proposals/ghc-proposals#committee-process

Thanks,
Joachim
-- 
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/