11: Pattern Match Exhaustivity: CC(_, B2)