History of DH (Dependent Types in Haskell) contributions

I think observably, nothing has hit ghc master recently related to DH? At least nothing significant. Maybe Serokell will provide an update, but afaiu the DH work is self-funded and not funded by anyone with big bucks [1]. So maybe they are working hard at their business rn in these tougher times [1] And tbh there is a paradox here..companies with big bucks tend to not be as interested in DH. Or even opposed to it. It’s a shame, but Actual skill and smarts are not valued by corporations. Even less so in this AI age where Haskell seems to be more appealing as a typesafe slop bytecode rather than an expressive programming language.