{motive : Std.Http.Response.Head → Sort u} →
  (t : Std.Http.Response.Head) →
    ((status : Std.Http.Status) →
        (version : Std.Http.Version) →
          (headers : Std.Http.Headers) → motive { status := status, version := version, headers := headers }) →
      motive t