toJSON(type(ok))
