href="Expr.html#t:Expr" title="Expr">Expr</a> a -&gt; <a href="Expr.html#t:Expr" title="Expr">Expr</a> a -&gt; <a href="../base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(&lt;=)</a> :: <a href="Expr.html#t:Expr" title="Expr">Expr</a> a -&gt; <a href="Expr.html#t:Expr" title="Expr">Expr</a> a -&gt; <a href="../base-4.11.1.0/Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="#v:-60--61-" class="selflink">