as patterns as parameters A pattern as a formal parameter breaks apart the components of the actual parameter Using (x, y) gives us names for the two parts (x :: xs) gives us names for the head and tail We may also want a name for the whole thing identifier as pattern lets us do both Example: theList as (head :: tail)
{}