toJSON(type("foo"))
