let Step =
        ∀(Step : Type)
      → ./StepConstructors.dhall Step
      → Step

in  Step