{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiff7cukbvh3ftsaxnum4rm6fg7h7ygfsi5djje37ulpqk46ihwbsu",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhkbexwi6fr2"
  },
  "path": "/t/sneak-peek-bolt-math/13766?page=2#post_28",
  "publishedAt": "2026-03-21T04:10:41.000Z",
  "site": "https://discourse.haskell.org",
  "textContent": "Oh I love it when someone asks good questions! I know you are paying close attention\n\nThe answer is yes, you are correct! It would be simpler, we could even calculate it from the type-level args list, except…\n\nI didn’t want to rule out support for variadic functions! I haven’t written code to demonstrate handling them, but it should be fairly trivial - you repeat the last argument type indefinitely until the arity runs out, and viola, variadic functions\n\nEdit: I could probably do a little work to differentiate them so I can seal up the arity as a non-argument for non-variadic functions, thank you for that idea!",
  "title": "Sneak Peek: Bolt Math"
}