∀(Version : Type) → ∀(v : Text → Version) → Version