On Tue, Sep 10, 2013 at 11:02:19PM +0100, Oliver Charles wrote: > I would like to propose that the following is added to Data.Bool in base: > > bool :: a -> a -> Bool -> a > bool f _ False = f > bool _ t True = t +1