 the constructor of this case class, instead use the function lambda or the syntactic sugar for this, e.g.">LambdaFixed</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$LambdaLike.html" title="A lambda-expression; variable is mapped to value." class="trait"></a><a href="HoTT$$LambdaLike.html" title="A lambda-expression; variable is mapped to value.">LambdaLike</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$LambdaTerm