Ah, I solved my problem, though it’s not a general solution to Type{T} oddness. In my particular case, I realized that arg_type_tuple isn’t equivalent to typeof in the case of Type arguments, so I can just duplicate that functionality and get semantically equivalent dispatch.