{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidolxxfbz5ft2fw6k7jcsp75zslfidqrv3mfcyrr3u6ch6ze6pigi",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mldsom6ginx2"
  },
  "path": "/t/ann-interval-patterns-0-8-2/14044#post_13",
  "publishedAt": "2026-05-08T12:58:46.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "A non-lawful `Ord` instance would probably be useless for `Interval`s anyway, considering they perform comparisons when using the constructor patterns.\n\nThe ordering of `Interval x` is in fact the lexicographic ordering on pairs of `x`, with the addition that `Min` is less than `Inf` and `Sup` is less than `Max` (c.f. `compareBounds`). Testing this property to follow.",
  "title": "[ANN] interval-patterns-0.8.2"
}