Создание GetEnumerator ThreadSafe

Что такое 'вложенный' шаблон в Haskell. Я слышу этот термин везде, но не уверен, что он на самом деле означает. Как бы вы его определили ? Есть примеры?

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

ОТРЕДАКТИРОВАНА ДЛЯ ДОБАВЛЕНИЯ: (как указано в учебнике по запросу)

«Шаблоны могут содержать литералы и вложенные шаблоны, как в примерах:

addPair (0,y) = y

addPair (x,y) = x+y


shift :: ((Int,Int),Int) -> (Int,(Int,Int))

shift ((x,y),z) = (x,(y,z))