pub fn type_name_variadic<T: TypeAbi>() -> TypeName