Sangria json4s-native marshalling