toJSON(type(greet))
