path: root/tests/patmat/t4408.check

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