Может быть, следует обратиться к работам Проппа ( если кто его не читал, то фамилию у Успенского встречал, помните, в "Там, где нас нет"?)

Из
В.Я.Пропп. Морфология "волшебной" сказки:
I. Постоянными, устойчивыми элементами сказки служат функции действующих лиц, независимо от того, кем и как они выполняются. Они образуют основные составные части сказки.
...
II. Число функций, известных волшебной сказке, -- ограничено.
....
III. Последовательность функций всегда одинакова.
Следует оговорить, что указанная закономерность касается только фольклора. Она не есть особенность жанра сказки как таковой. Искусственно созданные сказки ей не подчинены.
.... Самая постановка вопроса вызывает следующее предположение: если функции выделены, то можно будет проследить, какие сказки дают одинаковые функции. Такие сказки с одинаковыми функциями могут считаться однотипными. На этом основании впоследствии может быть создан указатель типов, построенный не на сюжетных признаках, несколько неопределенных и расплывчатых, а на точных структурных признаках. Действительно, это окажется возможным. Но если мы далее будем сравнивать структурные типы между собой, то получается следующее, уже совершенно неожиданное явление: функции не могут быть распределены по стержням, исключающим друг друга. Это явление во всей своей конкретности предстанет перед нами в следующей и в последней главах. Пока же оно может быть разъяснено следующим образом: если мы обозначим функцию, встречающуюся всюду на первом месте, буквой А, а функцию, которая (если она есть) всегда следует за ней -- буквой Б, то все известные сказке функции разместятся в один рассказ, ни одна из них не выпадает из ряда, ни одна не исключает другой и не противоречит ей. Такого вывода уже никак нельзя было предугадать. Следовало, конечно, ожидать, что там, где есть функция А, не может быть известных функций, принадлежащих другим рассказам. Ожидалось, что мы получим несколько стержней, но стержень получается один для всех волшебных сказок. Они однотипны, а соединения, о которых говорилось выше, представляют собой подтипы. На первый взгляд этот вывод кажется нелепым, далже диким, но он может быть проверен самым точным образом. Такая однотипность представляет собой сложнейшую проблему, на которой еще придется остановиться. Явление это вызовет целый ряд вопросов.
Так мы получаем четвертый основной тезис нашей работы:
IV. Все волшебные сказки однотипны по своему строению.
...
И ещё
Исторические корни Волшебной Сказки