{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihzxqo6cuo54vm52ojqxvqffwvudy52y6llucg5s5ibzfgoe57664",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3miqe67zt2x62"
  },
  "path": "/t/type-level-programming-is-still-programming/13890#post_3",
  "publishedAt": "2026-04-04T20:35:32.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "As I understand, this could alternatively be solved if there were some kind of laziness in the types. There’s no need to evaluate all the arguments to a type family before they’re matched on, right? Of course, it’s very easy for me to assert this in absence of GHC doing it, since there must be a reason it hasn’t been worked on.",
  "title": "Type-level programming is still programming"
}