">(<span name="modifier">modifier: (<span name="provingground.learning.QueryFromPosts.ModCons.P" class="extype">P</span>) =&gt; (<span name="provingground.learning.QueryFromPosts.ModCons.Q" class="extype">Q</span>) =&gt; <span name="provingground.learning.QueryFromPosts.ModCons.Q" class="extype">Q</span></span>, <span name="tail">tail: <a href="QueryFromPosts.html" name="provingground.learning.QueryFromPosts" id="provingground.learning.QueryFromPosts" class="extype">QueryFromPosts</a>[<span name="provinggro