List patterns correspond one-by-one to list expressions.

match on all elements of a list -using pattern List(…)

or take lists apart bit by bit – using patterns composed from the :: operator and the Nil constant.