8: Pattern Match Exhaustivity: TestB()