="Numeric-MixedTypes-Bool.html#v:-124--124-" target="main">(||)</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Numeric-MixedTypes-Bool.html#t:CanAndOrWith" target="main">CanAndOrWith</a> t1 t2</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Numeric-MixedTypes-Bool.html#t:CanAndOrSameType" target="main">CanAndOrSameType</a> t</p></div><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:and" target="main">and</a><