{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifjjnjlyrulxudffgdvrzbzo6zw2xq2vwixktbmbbajzht37c3jga",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mkj7hwouft32"
  },
  "path": "/t/boxed-sums-ghc/13979#post_3",
  "publishedAt": "2026-04-27T22:38:25.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "If you write\n\n\n    f (10 |) = ()\n\n\nthe compiler tells you\n\n\n    error: [GHC-16863]\n        Boxed sums not supported: ( 10 | )\n\n\nbut I don’t think there’s a reason for that other than lack of demand.",
  "title": "Boxed Sums (GHC)"
}