Изменения
→A2. Закодировать типы по Чёрчу (с взаимной рекурсией)
Интересное наблюдение: переменная p в case является как раз нужным конструктором, в котором уже подставлены все аргументы этого конструктора.
== A2. Закодировать типы по Чёрчу (с взаимной рекурсией) через <tex> \mu </tex> - комбинатор ==
'''data''' Return a b = List (Return b a) (Return b a) b | Roll (Return a a) (Return a a) (Mice a)
