{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiac2zjzb5w3n3uphxbcph2eb2fiqbujidvbszu3p2l3shspjea6zy",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mk3nipagsmq2"
  },
  "path": "/t/the-hazy-haskell-compiler/13497?page=2#post_29",
  "publishedAt": "2026-04-22T13:07:05.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Levity should be on the arrow, not on the kind - #35 by superstar64"
  ],
  "textContent": "I also have a post on this: Levity should be on the arrow, not on the kind - #35 by superstar64. If you have levity on the arrow in system-f, then these levity polymorphic fields appear in scott encoding.",
  "title": "The Hazy Haskell Compiler"
}