On Tue, Sep 10, 2013 at 11:05 PM, Carter Schonwald <carter.schonwald at gmail.com> wrote: > just to add a bit of bikeshedding, wouldn't it better be called something > like boolElim ? As we already have 'maybe' and 'either', calling it 'boolElim' inconsistent. Hence I stick to the suggestion of calling this function 'bool'. - ocharles