(motive : Std.Http.URI.EncodedQueryParam × Option Std.Http.URI.EncodedQueryParam → Sort u_1) →
  (x : Std.Http.URI.EncodedQueryParam × Option Std.Http.URI.EncodedQueryParam) →
    ((k : Std.Http.URI.EncodedQueryParam) → (v : Option Std.Http.URI.EncodedQueryParam) → motive (k, v)) → motive x