Мне хочется понять абстрактную концепцию неподвижной точки функтора, однако я все еще пытаюсь...

Прямо сейчас у меня есть AST для выражения, которое полиморфно по типу рекурсии: data Expr a =...

У меня есть AST, который я аннотирую, используя Cofree: data ExprF a = Const Int | Add a a | Mul a...

Я ищу некоторые действительно простые и понятные объяснения схем рекурсии и схем corecursion...