type alias StepsWith A function that composes multiple steps and adds an annotation. Type Parameters X = unknown T = unknown U = T Definition (_: X,...steps: Step<T>[],) => Step<T, U>