let Step = ../types/Step.dhall in λ(step : Step) → { try = step }