structorSeqMapper</a> and <a href="../ConstructorPatternMapper.html" name="provingground.induction.ConstructorPatternMapper" id="provingground.induction.ConstructorPatternMapper" class="extype">ConstructorPatternMapper</a> provide the lifts.</p><h4>Indexed Versions</h4><p>There are indexed versions of all these definitions, to work with indexed inductive type families.
</p></div><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="../../index.html" name="provingground" id="provingground" cla