foldFreer :: Monad m => (forall x. f x -> m x) -> Freer f a -> m a
foldFreer f = iterFreerA ((>>=) . f)
foldFreer :: Monad m => (forall x. f x -> m x) -> Freer f a -> m a
foldFreer f = iterFreerA ((>>=) . f)
foldFreer f = iterFreerA ((>>=) . f)