Add ifThenElse and (?) to Data.Bool

David Feuer david.feuer at
Thu Nov 17 03:25:17 UTC 2016

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> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list