10: Pattern Match Exhaustivity: _: a.Elem