Consider replacing your bools with meaningful sum types, which avoids this issue, prevents boolean blindness, and makes your code more self-documenting.<br><br>For example, instead of newtype SwitchsState = SwitchState Bool, data SwitchState = On | Off<br><div class="gmail_quote"><div dir="ltr">On Sun, Aug 7, 2016 at 2:47 PM Imants Cekusins <<a href="mailto:imantc@gmail.com">imantc@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">found it:</p>
<p dir="ltr"><a href="https://wiki.haskell.org/GHC/Coercible" target="_blank">https://wiki.haskell.org/GHC/Coercible</a></p>
<p dir="ltr">yep, it type checks. </p>
<p dir="ltr">Ta</p>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div>