Pattern matching, and the same with lists