твой FixF это App из base

он писал

но не дописал

я не понимаю, что ты зафиксил)

все очень просто, взял Fix, переписал его рекурсию через Fix

зачем это? что это решает?

хах, с козырей зашел

кек, а почему раньше ты не задавал такой вопрос

себе например

ну тут вообще не понятно зачем)

🤢

для Fix базовый функтор это просто f

да просто, вот моя цепочка мыслей, которая привела к этому:
- кому-то я раписписывал, что для любых адт можно сгенерить его элиминатор
- потом сказал, что можно выразить адт через функтор в Fix и элиминатор через алгебру + ее в кату
- потом подумал, что можно написать элиминатор для Fix, и это и получится cata
- потом подумал, что можно написать Fix через выражение его через Fix и его элиминатор (кату) через выражение его алгеброй и отдачи в другую кату

Так!

newtype MyFix f = MyFix { unMyFix :: f (MyFix f) }
newtype MyFixF f a = MyFixF { unMyFixF :: f a } deriving (Functor)

type instance Base (MyFix f) = MyFixF f

instance Functor f => Recursive (MyFix f) where
  project (MyFix f) = MyFixF f

instance Functor f => Corecursive (MyFix f) where
  embed (MyFixF fa) = MyFix fa

cata' :: Functor f => (f a -> a) -> (MyFix f -> a)
cata' alg = cata (alg . unMyFixF)

Но! твой MyFixF f изоморфен f
что дает классическое определение для неподвижной точки
тоесть, все что ты сделал, это зачем-то просто врапнул в newtype но определение не поменялось
в общем ничего нового

жду когда в IT начнутся массовые увольнения за профнепригодность

>

ну вы поняли что я имею в виду