Use json4s to deserialize into A