dhall-to-cabal-1.0.0: dhall/types/Version/v.dhall

    let v
        : ∀(str : Text) → ../Version.dhall 
        = λ(str : Text) → λ(Version : Type) → λ(v : Text → Version) → v str

in  v