gbeaty

{
    "lapCount": 58,

    "laps": [
        {
            "name": "Sebastian Vettel",
            "placing": [1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1],
            "pitstops": [9],
            "mechanical": [25]
        },

gbeaty

import shapeless._
import shapeless.Nat._
import shapeless.Record._
import shapeless.Tuples._
import shapeless.TypeOperators._
import shapeless.HList._
import shapeless.UnaryTCConstraint._

trait FilterSubs[L <: HList, U] {
  type Out <: HList