shapeless.ops.hlist
Type class supporting retrieval of the first n elements of this HList. Available only if this HList has at least n elements.
HList
Type class supporting retrieval of the first n elements of this
HList. Available only if thisHListhas at least n elements.