Re: Add ifThenElse and (?) to Data.Bool

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" 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries