Uses a TransformationStep to transform an HList L.
Uses a TransformationStep to transform an HList L.
Enforce that an HList contains only TransformSteps to make it fail fast if something else is provided
Enforce that an HList contains only TransformSteps to make it fail fast if something else is provided