Sneak Peek: Bolt Math
Haskell Community [Unofficial]
March 21, 2026
Oh I love it when someone asks good questions! I know you are paying close attention
The answer is yes, you are correct! It would be simpler, we could even calculate it from the type-level args list, except…
I 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
Edit: 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!
Discussion in the ATmosphere