Re: Proposal: add new Data.Bits.Bits(bitZero) method (was: Proposal: Explicitly require "Data.Bits.bit (-1) == 0" property)

I'm +1 for the following slightly extended proposal: * add zeroBits * with default implementation: clearBit (bit 0) 0 * and requiring the following laws for all n valid for the type: * clearBit zeroBits n == zeroBits * setBit zeroBits n == bit n * testBit zeroBits n == False * popCount zeroBits == 0 -- Live well, ~wren