Based on the work of @jonifreeman use json4s to serialize shapeless records.