λ(Step : Type) → { steps : List Step, limit : Optional Natural, fail_fast : Optional Bool }