Sneak Peek: Bolt Math

Got it, I misunderstood. By the way, is arity a necessary type parameter for Function? I don’t see where it gets used, and wouldn’t a Length type family on args work if it was ever needed?

type Function :: k -> [Type] -> Contraint
class Function r args | r -> args where
    type Return r args :: Type
    call :: Call args (Return r args)

Won’t this also compile and be simpler, with the same amount of type inference? I don’t see arity doing any work in the code.