let Step = ../types/Step.dhall in λ(steps : List Step) → { do = steps }