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