Sneak Peek: Bolt Math

ApothecaLabs:

class Function r (arity :: Nat) (args :: [Type]) | r -> arity args where

Before 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