{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiagf6677enyq4mcbjj7w6wz66fqc34sclm47ckaydh4j3xafg6r2i",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3miyqayguvg52"
  },
  "path": "/t/type-level-programming-is-still-programming/13890#post_5",
  "publishedAt": "2026-04-08T12:11:19.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "The type level evaluation order is unspecified in GHC (last I checked). It has even varied between releases. That makes it hard to write robust code.",
  "title": "Type-level programming is still programming"
}