{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreig7jmem6e6woydygspro4nut25z2vjzvhexgdarc7dbc6j6xe7hum",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mklep2hojek2"
  },
  "path": "/t/ann-tasty-cache-0-1-0-0/13993#post_2",
  "publishedAt": "2026-04-28T19:05:51.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "@Foo"
  ],
  "textContent": "Thanks for the AI transparency disclosure.\n\nBut how does it work in the presence of overloaded identifiers? I assume you must somehow resolve which instances are used in each particular test case and track changes to respective definitions. Is it possible to do it just through HIE files, without type checking?\n\nSay, you have `factorial :: Num a => a -> a` and want to test that `factorial @Foo 5 = 120`. The definition of `factorial` has not changed and same for the type declaration of `Foo`. But how do you check that `instance Num Foo` remains the same? We don’t even know upfront where it is defined.",
  "title": "[ANN] tasty-cache 0.1.0.0"
}