pan> <a href="Numeric-MixedTypes-Bool.html#t:CanNeg" target="main">CanNeg</a> t</p></div><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:not" target="main">not</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Numeric-MixedTypes-Bool.html#t:CanNegSameType" target="main">CanNegSameType</a> t</p></div><h2>Tests</h2><div class="top"><p class="src"><a href="Numeric-MixedTypes-Bool.html#v:specCanNegBool" target="main">specCanNegBool</a></p></div><h1>A