{motive : Std.Http.Header.Name → Sort u} →
  (t : Std.Http.Header.Name) →
    ((value : String) →
        (isValidHeaderValue : Std.Http.Header.IsValidHeaderName value) →
          (isLowerCase : Std.Http.Internal.IsLowerCase value) →
            motive { value := value, isValidHeaderValue := isValidHeaderValue, isLowerCase := isLowerCase }) →
      motive t