{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreig7tbllei7kn4se5ctbpgln7mwthaujna4wlecsh2v7afelflztiy",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mk2zeoffixo2"
  },
  "path": "/t/the-hazy-haskell-compiler/13497?page=2#post_26",
  "publishedAt": "2026-04-22T06:06:20.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Why is the arrow naked here? I’d expect either a new arrow or some other syntax.\n\nNaked, my System F brain sees no reason Levity affects other args here. I don’t like that. System F is the north star.\n\nyou seem to pass it along..but not in a meaningful. dependent way. You’re close (the extension is a good idea) but no cigar.\n\nHighly recommend being brave enough to submit this to ghc-proposals`. That’ll ensure it passes bona fide muster.",
  "title": "The Hazy Haskell Compiler"
}