<p dir="ltr">If this rebindable syntax is about what I think it is, that would seem strange. bool is the Bool eliminator. It would seem weird to give it a type like, say,</p>
<p dir="ltr">bool :: Monad m => m a -> m a -> m Bool -> m a</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Nov 16, 2016 10:06 PM, "M Farkas-Dyck" <<a href="mailto:m.farkasdyck@gmail.com">m.farkasdyck@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Could we use `bool` rather than add a new term for RebindableSyntax?<br>
i.e. define if-then-else in terms of `bool`.<br>
______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div>