I reconsidered this proposal. Since all our current subclasses of JsonElement are final, introducing new subclasses may cause some confusing situations (for example, EmptyJsonArray is not JsonArray), ...