<p dir="ltr">True: distinct types help. In this case a function expects a couple bool args so  the newtypes help ensure that correct args are passed in correct order.</p>
<p dir="ltr">However when working with vals within a function, it may be handy to be able to deduce bool from the newtype, at least to be used with if. This may introduce complexity so not suggesting / requesting anything. Just thought:  something might be already available.</p>
<p dir="ltr">For example, num-like newtypes can be added, compared as are, without the need to extract the num. Num newtypes conveniently can be derived with "deriving".</p>
<p dir="ltr">A function you suggest is good and it works. Thank you.</p>