BoolVec: Codec<boolean[], boolean[]> = ...