{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreighjaibolmzkiutfboj2juo56wuaywjbnros36wdmwwlgoh35rybm",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mkscqtn7q7s2"
  },
  "path": "/t/free-like-data-structure/14012#post_5",
  "publishedAt": "2026-05-01T13:51:15.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "This is just the free monad on `EnvT []` I guess my construction is just not that common, and doesn’t really have a deep meaning in category theory.",
  "title": "Free-like data structure:"
}