Status of dependent types?

[int-index]

New report here: https://discourse.haskell.org/t/ghc-dh-weekly-update-6-2023-06-07