I suppose that this is literally a FAQ, but … everything I have found on the web about dependent types in Haskell is dated a while ago, and all of the information makes it sound as if dependent types will be available in Haskell in the future, including the dependent haskell wiki page. I found discussion of regular updates about the subject (Daily updates on Dependent Haskell - #12 by rae), but the last I found was the first, in December 2022 (GHC+DH Weekly Update #1, 2022-12-07). That’s not so long ago, so maybe the folks working on dependent types are just busy. I understand that there were various challenging issues to address.

Or are dependent types already available in Haskell, and that’s why no there is no further discussion of the future of dependent types?

Thanks!