Shouldn't that be `L <: HList`?