toJSON
json4s