We could also do `@Encoded @Path`, but I think that would overcomplicate the internal representation (though no more than this array already does).