Add ifThenElse and (?) to Data.Bool

[David Feuer]

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,

bool :: Monad m => m a -> m a -> m Bool -> m a

On Nov 16, 2016 10:06 PM, "M Farkas-Dyck" <m.farkasdyck at gmail.com> wrote:

> Could we use `bool` rather than add a new term for RebindableSyntax?
> i.e. define if-then-else in terms of `bool`.
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20161116/40fb73e0/attachment-0001.html>