an class="symbol"><span class="name" title="gt4s: $less$plus$greater">&lt;+&gt;</span><span class="params">(<span name="that">that: =&gt; <a href="TruncatedDistribution.html" name="provingground.learning.TruncatedDistribution" id="provingground.learning.TruncatedDistribution" class="extype">TruncatedDistribution</a>[<span name="provingground.learning.TruncatedDistribution.PosFD.A" class="extype">A</span>]</span>)</span><span class="result">: <a href="TruncatedDistribution$$Sum.html" name="provingground.lear