<p dir="ltr">... this may be correct:</p>
<p dir="ltr">if_::Newtype_base nt Bool =><br>
   nt -> result -> result -> result<br>
if_ if0 then0 else0 = ...</p>