shapeless.::" class="extype">::</span>[<span name="provingground.learning.QueryFromPosts.CaseCons.P" class="extype">P</span>, <span name="provingground.learning.QueryFromPosts.CaseCons.Pt" class="extype">Pt</span>]] with <span name="scala.Product" class="extype">Product</span> with <a href="../../scala/index.html#Serializable=java.io.Serializable" name="scala.Serializable" id="scala.Serializable" class="extmbr">Serializable</a></span></span></li><li class="indented0 " name="provingground.learning.QueryFromP