(motive : Std.Time.FormatPart → Sort u_1) →
  (part : Std.Time.FormatPart) →
    ((mod : Std.Time.Modifier) → motive (Std.Time.FormatPart.modifier mod)) →
      ((s : String) → motive (Std.Time.FormatPart.string s)) → motive part