Сопоставление шаблонов вложенного списка в Haskell

Я хочу использовать вложенные списки вложенности 2 для представления матрицы (например, [[1,2,3], [4,5,6]] ). Как Мог бы я определить функцию, обрабатывающую небольшие подматрицы (скажем, 2 * 2)? Я ожидал чего-то вроде этого: f (a1: a2: a): (b1: b2: b): x = ... Где a1, a2 - два последовательных элемента первой строки, а b1, b2 - второй строки. a, b - остатки первого и второго ряда соответственно. x - это остальные строки матрицы.

Но это явно не работает.

Заранее спасибо!