[zOdmin]

zOdmin,
Гениально! Как примерно должна такая функция быть устроена? Как сравнить haystack[0] с needle на совпадение структуры и значения?

Так я же написал:

, которая в свою очередь рекурсивно обходит needle и проверяет наличие каждого подэлемента needle с соответствующим подэлементом рассматриваемого элемента haystack.

Осталось написать функцию, которая принимает на вход подэлемент и образец, и сравнивает их. Слово "рекурсия" понятно? Это значит, что мы в цикле обходим все элементы и сравниваем простые значения, а для объектов снова вызываем эту же функцию. Трудность только в том, как выбрать соответствующий подэлемент образца, но никто не мешает нам в очередной раз перебрать все варианты.

Вообще странно, что здесь что-то оказалось не ясно, т.к. это самое лобовое решение, без изысканий.