{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicbyjbkwzorcehnlydmxkcnqeotlfp2tissvabc4dksx5v6dzs3jq",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhkvj4pxpgg2"
  },
  "path": "/t/sneak-peek-bolt-math/13766?page=2#post_31",
  "publishedAt": "2026-03-21T05:10:03.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "haskell-variadic/Main.hs at main · ashokkimmel/haskell-variadic · GitHub"
  ],
  "textContent": "ApothecaLabs:\n\n> `class Function r (arity :: Nat) (args :: [Type]) | r -> arity args where`\n\nBefore I retire for the day, I was just thinking that for `Function 0 '[]`, it’s not really a function. Also, I just uploaded my variadic function stuff, it’s not polished or anything but feel free to take a look: haskell-variadic/Main.hs at main · ashokkimmel/haskell-variadic · GitHub",
  "title": "Sneak Peek: Bolt Math"
}