15: Pattern Match Exhaustivity: NodeType2(_)