[LeanderK]

> embracing dependent types (which are actually simpler than where Haskell has been heading) rather than building increasingly complex approximations of them

very much second that! haskell has band-aid type-level programming that is so awful, but sometimes so useful, that it's really hurting a lot. I would just really like to deprecate type-families and would like to see as a the first step some non-dependently typed type-promoted functions. There's a great, pragmatic, proposal I would really like to see implemented. I, personally, don't need dependent types thaaaaaat much but type families are so unergonomic and really a dead-end I think. It's just stupid.

it's sad to see that the dependent haskell progress is losing steam and, as it is my impression, getting maybe a bit lost in the weeds?

[whateveracct]

DTs aren't losing steam at all. There are people chugging along implementing them.