Well, you’d need to express the types of the arguments your template expects, and then your template type system and your host language type system need to agre

Well, you’d need to express the types of the arguments your template expects, and then your template type system and your host language type system need to agree on those types, and now you need to code-gen the host language struct type from the template args type - but what’s the point? It’s still needless toil in my view. Just write a function in the host language, it already has a great way of expressing the types of arguments passed to a function (hopefully)