ly</a>[<span name="shapeless.::" class="extype">::</span>[<span name="provingground.learning.GeneratorNode.ConditionFunc.D" class="extype">D</span>, <span name="shapeless.HNil" class="extype">HNil</span>], <span name="provingground.learning.GeneratorNode.ConditionFunc.T" class="extype">T</span>]</span>)</span><span class="result"> extends (<span name="shapeless.::" class="extype">::</span>[<span name="provingground.learning.GeneratorNode.ConditionFunc.D" class="extype">D</span>, <span name="shapeless.HNil" 