On 2013-11-10 at 23:33:31 +0100, Edward Kmett wrote: > We went through all the pain of removing Num as a superclass of Bits to > support it, but we apparently never actually put the instance of Bits (and > FiniteBits) for Bool into base. > I propose we do so. +1