Converting json-lift to json-play via full serialization