{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiainngi3mmesrglnutymnn5dtnohosarzgrsjmdcgr6xuc4o7hkri",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhfufnokop62"
  },
  "path": "/t/rfc-sibyl-time-series-analysis-in-haskell/13823#post_7",
  "publishedAt": "2026-03-19T09:11:41.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "I like the split! Can one convert code from convenience to `.Safe` in a piecewise fashion?\n\nFor DataKinds, I guess it depends on whether the type errors can be made to look understandable (like jackdk mentioned).\n\nI prefer `|>` over `&`. I find `&` very odd-looking in pipes, since I’m used to thinking it has something to do with bitwise operations or references. The `|>` OTOH is also used in the IHP web framework, as well as in OCaml and Julia, and feels a bit like shell pipes, only with a direction added.",
  "title": "[RFC] Sibyl: Time Series Analysis in Haskell"
}