Iaia.Zoo

apo : Corecursive t f => Steppable t f => Functor f => GCoalgebra (Either t) f a -> a -> t

gcata : Recursive t f => Functor f => Comonad w => DistributiveLaw f w -> GAlgebra w f a -> t -> a

para : Costeppable t f => Recursive t f => Functor f => GAlgebra (Pair t) f a -> t -> a

zygo : Recursive t f => Functor f => Algebra f a -> GAlgebra (Pair a) f b -> t -> b