2: Pattern Match Exhaustivity: (Nil, List(_)), (List(_), Nil)