8: Pattern Match Exhaustivity: (true, _), (false, _), (_, true), (_, false)