Data.Functor.Foldable.Monadic
cataM ∷ (Recursive t, Traversable (Base t), Monad m) ⇒ (Base t a → m a) → t → m a Source #