lass="implicit">implicit </span><span name="arg0">arg0: <span name="scala.reflect.api.TypeTags.TypeTag" class="extype">scala.reflect.api.JavaUniverse.TypeTag</span>[<span name="provingground.learning.PostDiscarder.discardPost.P" class="extype">P</span>]</span>)</span><span class="result">: <a href="BiPostable.html" name="provingground.learning.BiPostable" id="provingground.learning.BiPostable" class="extype">BiPostable</a>[<span name="provingground.learning.PostDiscarder.discardPost.P" class="extype">P</spa