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/0... 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@joachim-breitner.de http://www.joachim-breitner.de/