{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibr6sgsxrj5z6euwxad4avxc3mv7bobdj66llt2eccnx6q6xa74bu",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mmhccsl72ys2"
  },
  "path": "/t/empty-list-without-list-literals/14147#post_2",
  "publishedAt": "2026-05-22T13:59:45.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "I don’t think there’s a way around this for overloaded literals. In this case you could also consider a more general rewrite rule that avoids `[]`:\n\n\n    {-# RULES \"cons/++\" forall x xs ys. (x : xs) ++ ys = x : (xs ++ ys) #-}\n\n\nAnother workaround is to define the rewrite rule in another module and import it.",
  "title": "Empty list without list literals"
}