Data.Bits: bitSize -> finiteBitSize