instance (a ~ Bit) => Equatable [a]