А Functor тут это функтор из ТК?
А по поводу fmap это fix для типов получается или я что-то путаю?
И ещё выходит что катаморфизм делает из рекурсивного типа нерекурсивный, а анаморфизм наоборот? Или есть какая-то ещё важная особенность которую я упускаю?