s="extype">V</span>, <span name="provingground.learning.TypedPostResponse.PairBot.ID" class="extype">ID</span>] to<span name="scala.Predef.Ensuring" class="extype">Ensuring</span>[<a href="" name="provingground.learning.TypedPostResponse.PairBot" id="provingground.learning.TypedPostResponse.PairBot" class="extype">PairBot</a>[<span name="provingground.learning.TypedPostResponse.PairBot.P" class="extype">P</span>, <span name="provingground.learning.TypedPostResponse.PairBot.Q1" class="extype">Q1</span>, <spa