There's no type checking on function dispatch unless guards are explicitly added. The arity dispatch for functions captured into first class is done at compile

There's no type checking on function dispatch unless guards are explicitly added. The arity dispatch for functions captured into first class is done at compile time and require explicitness. That said, I think you can create your own dispatch macro that's probably as efficient as possible for doing what you proposed.