This might be relevant to this discussion. Richard Eisenberg has opened a proposal to give a “general steering” towards Dependent Haskell, or not.

- Proposal: https://github.com/ghc-proposals/ghc-proposals/pull/378

- Reddit: https://www.reddit.com/r/haskell/comments/jtvf06/should_ghc_support_ergonomic_dependent_types/

I think it’s also a place where we all should express our opinion.

Alejandro