No, you can’t do that as far as I’m aware. For starters, because the type of any variable that appears in the method definition will in general depend on the types of the input arguments, which can’t be known at the time the macro does its work (imagine losing the ::Int and ::Float64).