class JSON:
    ...
    def asText: case self of:
        JSONString t: t
        other: throw "JSON.asText: not a text"