JSON::String ADT no more