><span class="params">(<span name="zero">zero: <span name="provingground.LinearStructure.A" class="extype">A</span></span>, <span name="sum">sum: (<span name="provingground.LinearStructure.A" class="extype">A</span>, <span name="provingground.LinearStructure.A" class="extype">A</span>) =&gt; <span name="provingground.LinearStructure.A" class="extype">A</span></span>, <span name="mult">mult: (<span name="scala.Double" class="extype">Double</span>, <span name="provingground.LinearStructure.A" class="extype">A