toJSON(type("bar"))
