Inductive VersionDateT :=
  VersionDate : forall (s : string),
    matches s (regex "[0-9]{4}-[0-9]{2}-[0-9]{2}")
      -> VersionDateT.
