t">Pt &lt;: <span name="shapeless.HList" class="extype">HList</span></span>]</span><span class="params">(<span name="answer">answer: (<span name="provingground.learning.QueryFromPosts.CaseCons.P" class="extype">P</span>) =&gt; <span name="scala.Option" class="extype">Option</span>[<span name="provingground.learning.QueryFromPosts.CaseCons.Q" class="extype">Q</span>]</span>, <span name="tail">tail: <a href="QueryFromPosts.html" name="provingground.learning.QueryFromPosts" id="provingground.learning.QueryFrom