Serialized shapeless HList-based records to json with json4s and Scala.