let Types = ../types/package.dhall

let Defaults = ../defaults/package.dhall

in    (   λ(getStep : Types.GetStep)
        → λ(Step : Type)
        → λ(constructors : Types.StepConstructors Step)
        → constructors.get getStep (Defaults.StepHooks Step)
      )
    : Types.GetStep → Types.Step