Коалгебры и анаморфизмы

Предыдущие посты этой серии:
1. Типы как неподвижные точки функторов
2. Алгебры и катаморфизмы

( Анаморфизмы и коалгебры ко-под ко-катом ... )