{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihtmdudisqxudpti3znn563wuwylhrui2352rym6mbjjx4xckofzu",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mi747ishepo2"
  },
  "path": "/t/history-of-dh-dependent-types-in-haskell-contributions/11242#post_24",
  "publishedAt": "2026-03-28T23:01:42.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "There has actually been a lot of progress! Some notable mentions:\n\n  * Retry type/class declarations and instances\n  * Visible forall in GADTs\n  * Namespace-specified imports\n  * Star kind syntax in expressions\n\n\n\nAnd there’s an ongoing refactoring to unify `HsExpr` with `HsType`.",
  "title": "History of DH (Dependent Types in Haskell) contributions"
}