Avoid the derived Foldable, etc. instances as they are asymptotically sub-optimal
Typeable Bits