nce the scala type of the recurion and induction types are determined." class="trait"></a><a href="ConstructorPatternMap.html" title="Introduction rule for an inductive type, as in ConstructorShape with the scala type of the codomain specified; hence the scala type of the recurion and induction types are determined.">ConstructorPatternMap</a></li><li class="current-entities indented2"><a href="ConstructorPatternMapper$.html" title="" class="object"></a> <a href="ConstructorPatternMapper.html" title="bridge 