{r : UInt8 → Bool} →
  {motive : Std.Http.URI.EncodedQueryString r → Sort u} →
    (t : Std.Http.URI.EncodedQueryString r) →
      ((toByteArray : ByteArray) →
          (valid : Std.Http.URI.IsAllowedEncodedQueryChars r toByteArray) →
            motive { toByteArray := toByteArray, valid := valid }) →
        motive t