Serialize shapeless HList-based records into json with json4s and Scala.