Iaia.Native.Control

hylo : Functor f => Algebra f b -> Coalgebra f a -> a -> b