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